timestamp for src/autoconf.h