timestamp for jconfig.h
