r14950: make sure include/config.h is only updated when the content was changed