Things will be better once we can unify this script with the main IDE build. I can define `SBTVERSION` to be 0.13.0 here, but we'd be duplicating this information. I prefer to have only one place to update until then.