Fixes to config.sh