Updated config.def.h