Switch some of the names of default config files