make a config.def.h like others do