BUG: inconsistent configuation files in develop branch

Some setup configuration files are missing in etc/config.csh

e.g. scotch

@Mattijs