undoing accidental changes to config.sh