timestamp for jconfig_api.h