Fix generation of config files