Use the correct libffi type for pointers