Minor tweaks to config to get a proper SBT prompt