resolve json/json.h bug