sbt 0.13.7, and improved resolving library