Fix build with recent Xcode #1017

Job	Run time
Run CodeQL tests	4m 42s
Run CodeQL tests	4m 42s
Build on Fedora to fedora:37	2m 26s
Build on Fedora to fedora:37	2m 26s
Build on macOS for osx	1s
Build on macOS for osx	1s
Build on Fedora to fedora:38	2m 19s
Build on Fedora to fedora:38	2m 19s
Run Coverity tests	0s
Run Coverity tests	0s
Build on macOS for ios	1m 56s
Build on macOS for ios	1m 56s
Deploy pages	0s
Deploy pages	0s
Build on macOS for iossimulator	1m 32s
Build on macOS for iossimulator	1m 23s
Build on Ubuntu to ubuntu:20.04	3m 36s
Build on Ubuntu to ubuntu:20.04	3m 36s
Build on Windows (143)	16m 50s
Build on Windows (143)	16m 50s
Build on macOS for androidarm	1m 51s
Build on macOS for androidarm	1m 51s
Build on Windows (142)	16m 53s
Build on Windows (142)	16m 53s
Build on Ubuntu to ubuntu:22.04	3m 24s
Build on Ubuntu to ubuntu:22.04	3m 24s
Build on macOS for androidarm64	1m 53s
Build on macOS for androidarm64	1m 53s
Build on macOS for androidx86_64	1m 55s
Build on macOS for androidx86_64	1m 55s
Build on Ubuntu to ubuntu:23.10	3m 26s
Build on Ubuntu to ubuntu:23.10	3m 26s
	2h 5m 19s

Provide feedback