Fix name of SBT