Map amd64 to x86_64