No need for config.def.h, use config.h directly.