change the Linux 32-bit and 64-bit names