Make $TRAVIS_OS_NAME defaults to linux