timestamp for autoconfig.h
