sonet broken on ocaml3
patdiff depends on ocaml4