Modified config.def.h