Don't overwrite users config.h if config.def.h is changed.