added sbt 0.13.5 props