timestamp for src/config.h:src/config-h.in
