Bash: remove hard-coded file names in config files