don't recompile when config.def.h is modified