timestamp for xconfig.h
