eliom.4.1.0 uses opam 1.2 format