Switch from using x64 to x86-64