Compilation problem correction in config.h