activate 3.12.1 and opam 1.0 too