fix invalid config.h including