ghci and sbt 0.12.x configs