Allow local renaming in config.h.