fixed the 64bits tests for get_platform() - mac osx
1 file changed