Fix the inclusion of config.h