Adapt to https://github.com/rocq-prover/rocq/pull/21611

Adapt to https://github.com/rocq-prover/rocq/pull/21611 #1246