Update ocp2opam.ocp