Use SBT 0.13.1