timestamp for src/xconfig.h
