Update config.def.h