timestamp for configure.h
