x86-64 → x86_64