Update example for OPAM 1.2 flag