Delete json_inttypes.h