adds ml4 as ocaml extension