don't use TRAVIS_OS_NAME, since it seems to not be set properly