copying over from config.def.h