Added platform-independant way to distinguish x64 from x32