Upgraded SBT version to 0.12.4. Note that 0.13.0 will be out soon