Use a flag to distinguish OPAM format 1 and 1.2