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.