force SBT 0.12.4, because sbt-android 0.7 is not ready for SBT 0.13