update config.h accordingly