Fix SBT config