Try to work-around bug in opam 1.2 with depexts