timestamp for json_config.h