adapt to rocq-prover/rocq#20707 #4265

Job	Run time
coq	27s
rocq-elpi	27s
rocq-core	28s
coq-elpi	1s
mathcomp-finmap	1s
mathcomp-bigenough	1s
stdlib	1s
hierarchy-builder	1s
mathcomp-classical	1s
mathcomp-analysis-single	1s
mathcomp	1s
mathcomp-reals	1s
mathcomp-reals-stdlib	1s
mathcomp-experimental-reals	1s
	1m 33s

Provide feedback