timestamp for autoconf.h