Hacking sbt for travis