Fix PR#18855 issue 2. By Duncan Murdoch. #8108

Job	Run time
Windows (check)	51m 6s
MacOS (macOS-13)	53m 36s
Linux (gcc, debian:stable, intel)	33m 32s
Windows (installer)	19m 37s
MacOS (macOS-14)	20m 34s
Linux (gcc, debian:stable, arm)	30m 16s
Linux (gcc, debian:testing, intel)	33m 47s
Linux (gcc, debian:testing, arm)	30m 57s
Linux (clang, debian:stable, intel)	36m 36s
Linux (clang, debian:stable, arm)	30m 31s
Linux (clang, debian:testing, intel)	34m 29s
Linux (clang, debian:testing, arm)	30m 16s
	6h 45m 17s

Provide feedback