Fix depexts selection for opam 1.2