Dominic: set SBT version