Update x86_64 binaries