Remove div.net
mjc.byte for Ocaml 4.00.1