timestamp for autoconf.h
