These libraries were modified from the originals.
First, they were generated by the bundled makefile, using:
make 64bit
Then, install_name_tool was used to change the id and import paths of each
of them, so that the libraries are referenced from @rpath, not @loader_path.