This fixes compilation with current Coq master.
We discovered compilation with Coq master was broken in https://github.com/coq/opam-coq-archive/pull/2374 This should fix it, I'll then reopen a PR on opam-coq-archive to update the coq-prosa.dev OPAM package.