what does `++$TRAVIS_SCALA_VERSION` do? where is it defined?