timestamp for src/include/config.h
