Don't touch configmake.h if it has not actually changed.