Changed default OPAMCRITERIA to a more sensible one for opam