Accidentally checked in configure with older date than configure.in, but I
[mmh] / stamp-h.in