better handling of config.h