Add sbt0.13.1, some fixes