adapt to coq/coq#19872 #57

Job	Run time
build (coqorg/coq:8.9)	5m 22s
build (coqorg/coq:8.9)	5m 22s
build (coqorg/coq:8.9)	5m 24s
build (coqorg/coq:8.11)	5m 15s
build (coqorg/coq:8.11)	5m 15s
build (coqorg/coq:8.11)	5m 22s
build (coqorg/coq:8.12-ocaml-4.10-flambda)	6m 26s
build (coqorg/coq:8.12-ocaml-4.10-flambda)	6m 26s
build (coqorg/coq:8.12-ocaml-4.10-flambda)	6m 36s
build (coqorg/coq:8.13)	10m 59s
build (coqorg/coq:8.13)	10m 59s
build (coqorg/coq:8.13)	10m 59s
build (coqorg/coq:8.14)	10m 28s
build (coqorg/coq:8.14)	10m 28s
build (coqorg/coq:8.14)	11m 2s
build (coqorg/coq:8.15)	10m 21s
build (coqorg/coq:8.15)	10m 21s
build (coqorg/coq:8.15)	10m 22s
build (coqorg/coq:8.16)	10m 40s
build (coqorg/coq:8.16)	10m 40s
build (coqorg/coq:8.16)	10m 46s
build (coqorg/coq:8.17)	34m 16s
build (coqorg/coq:8.17)	41s
build (coqorg/coq:8.17)	11m 27s
build (coqorg/coq:8.18)	10m 6s
build (coqorg/coq:8.18)	10m 6s
build (coqorg/coq:8.18)	10m 29s
build (coqorg/coq:8.19)	1h 4m 15s
build (coqorg/coq:8.19)	1h 4m 15s
build (coqorg/coq:8.19)	1h 6m 41s
build (coqorg/coq:8.20)	10m 11s
build (coqorg/coq:8.20)	10m 11s
build (coqorg/coq:8.20)	10m 18s
build (coqorg/coq:dev)	8m 43s
build (coqorg/coq:dev)	8m 43s
build (coqorg/coq:dev)	8m 51s
	8h 28m 46s

Provide feedback