Fix 'opam pin --force'