Try to fix previous https://github.com/coq/opam/pull/3240

Try to fix previous https://github.com/coq/opam/pull/3240 #1466