Changes to make k3ocaml parsing run