Hacky update to sbt 0.13 (see TODO comments)