Use the right platform name for osx