Changes to allow k3ocaml parsing to work