fix shell quoting #11073

Job	Run time
check-ubuntu-24_04-make-gcc	16m 59s
check-ubuntu-24_04-cmake-gcc	17m 8s
check-ubuntu-24_04-make-clang	9m 56s
check-ubuntu-24_04-make-clang-smt-z3	7m 12s
check-ubuntu-22_04-cmake-gcc	29m 37s
check-ubuntu-22_04-cmake-gcc-32bit	28m 44s
check-ubuntu-22_04-make-clang	18m 8s
check-ubuntu-24_04-cmake-gcc-14	29m 48s
check-macos-13-make-clang	24m 15s
check-macos-14-cmake-clang	1h 15m 23s
check-ubuntu-24_04-cmake-gcc-KNOWNBUG	4m 10s
check-ubuntu-24_04-cmake-gcc-THOROUGH	10m 17s
check-docker-image	20m 1s
check-string-table	1m 42s
check-vs-2019-cmake-build-and-test	30m 26s
check-vs-2022-make-build-and-test	18m 45s
include-what-you-use	14m 55s
windows-msi-package	5m 24s
	6h 2m 50s

Provide feedback