timestamp for src/sysconfig.h
