timestamp for gconfig.h
