Moved config.h to config.def.h