Handling of config.h