fix wrt js_of_ocaml