Use verion 0.12.4 of sbt