Fix wrt latest js_of_ocaml