Fix inclusion of config.h