wtf sbt version used by travis-ci?