update config.def.h