fix shell quoting #11072

Job	Run time
check-ubuntu-22_04-cmake-gcc	28m 49s
check-ubuntu-22_04-make-clang	18m 7s
check-ubuntu-24_04-cmake-gcc	29m 56s
check-ubuntu-24_04-cmake-gcc-14	29m 55s
check-ubuntu-24_04-make-clang	19m 35s
check-ubuntu-24_04-make-clang-smt-z3	17m 8s
check-ubuntu-24_04-make-gcc	15m 20s
check-docker-image	19m 11s
check-macos-13-make-clang	26m 1s
check-macos-14-cmake-clang	55m 46s
check-string-table	1m 42s
check-ubuntu-22_04-cmake-gcc-32bit	29m 35s
check-ubuntu-24_04-cmake-gcc-KNOWNBUG	17m 32s
check-ubuntu-24_04-cmake-gcc-THOROUGH	22m 46s
check-vs-2022-make-build-and-test	38m 32s
check-vs-2019-cmake-build-and-test	48m 15s
include-what-you-use	15m 56s
windows-msi-package	21m 55s
	7h 36m 1s

Provide feedback