try to specify sbt-version to work around travis bug