What was the point of config.def.h anyway?