fix #1336 #4439

Job	Run time
rocq-core	46s
rocq-elpi	1m 15s
coq-elpi	45s
coq	44s
stdlib	52s
mathcomp-bigenough	6m 37s
mathcomp-finmap	2m 37s
hierarchy-builder	1m 30s
mathcomp	12m 45s
mathcomp-classical	9m 23s
mathcomp-analysis-single	25m 4s
mathcomp-reals	2m 8s
mathcomp-experimental-reals	2m 4s
mathcomp-analysis	14m 14s
mathcomp-reals-stdlib	1m 32s
mathcomp-analysis-stdlib	1m 39s
	1h 23m 55s

Provide feedback