'configure' apparently doesn't bump the timestamp on config.h if it