don't echo the platform name