Use the right file. Note that we are using CMake for convenience.
Add amd64 support.