Revert hack for coq 8.14 compilation.

Related issues:
- https://github.com/coq/coq/issues/15044 (bug report),
- https://github.com/ocaml/opam-repository/pull/19808 (package fix).
1 job for master in 9 minutes and 3 seconds (queued for 7 seconds)