Fix yojson.1.1.3
Merge pull request #2858 from vbmithr/master

Fix yojson.1.1.3