Adapt w.r.t. coq/coq#18895. (#1866) #850

Job	Run time
install (dev, 4.11.1, Ubuntu, ubuntu-latest)	40m 56s
install (dev, 4.11.1, macOS, macos-latest)	1h 15m 4s
install (dev, 4.11.1, Windows, windows-latest, -async-proofs-j 1, opam-repository-mingw: https://...	1h 39m 8s
install (8.19.0, 4.11.1, Ubuntu, ubuntu-latest)	40m 42s
install (8.19.0, 4.11.1, macOS, macos-latest)	48m 55s
install (8.19.0, 4.11.1, Windows, windows-latest, -async-proofs-j 1, opam-repository-mingw: https...	1h 38m 54s
install (8.18.0, 4.11.1, Ubuntu, ubuntu-latest)	43m 48s
install (8.18.0, 4.11.1, macOS, macos-latest)	1h 26m 45s
install (8.18.0, 4.11.1, Windows, windows-latest, -async-proofs-j 1, opam-repository-mingw: https...	1h 42m 31s
	10h 36m 43s

Provide feedback