Fix naming of MonoMac vs MonoMac 64-bit platform