re-adding x64 binaries