Fix yojson.1.1.3