timestamp for jconfig.h