fix config.h bug