Tweaks for c87633. #8035

Job	Run time
Linux (gcc, debian:stable, intel)	33m 39s
Linux (gcc, debian:stable, arm)	30m 15s
MacOS (macOS-13)	43m 59s
Windows (check)	50m 11s
Linux (gcc, debian:testing, intel)	32m 1s
MacOS (macOS-14)	20m 36s
Windows (installer)	20m 7s
Linux (gcc, debian:testing, arm)	30m 45s
Linux (clang, debian:stable, intel)	34m 41s
Linux (clang, debian:stable, arm)	30m 12s
Linux (clang, debian:testing, intel)	33m 36s
Linux (clang, debian:testing, arm)	30m 30s
	6h 30m 32s

Provide feedback