Fix coq2scala with latest ocaml