How do we get the file 'sbt-on-${SCALASHORT}.x'? I think it would be cleaner to set the SBT version in dbuild and propagate to the IDE build.