fix shell quoting #11076

Job	Run time
check-ubuntu-22_04-cmake-gcc	16m 10s
check-ubuntu-22_04-make-clang	17m 44s
check-ubuntu-24_04-cmake-gcc	17m 10s
check-ubuntu-24_04-make-clang	28m 48s
check-ubuntu-24_04-make-clang-smt-z3	8m 43s
check-ubuntu-24_04-make-gcc	18m 30s
check-docker-image	20m 0s
check-macos-13-make-clang	31m 0s
check-macos-14-cmake-clang	1h 9m 10s
check-string-table	1m 41s
check-ubuntu-22_04-cmake-gcc-32bit	15m 22s
check-ubuntu-24_04-cmake-gcc-14	14m 13s
check-ubuntu-24_04-cmake-gcc-KNOWNBUG	3m 12s
check-ubuntu-24_04-cmake-gcc-THOROUGH	10m 35s
check-vs-2019-cmake-build-and-test	32m 3s
check-vs-2022-make-build-and-test	18m 9s
include-what-you-use	17m 58s
windows-msi-package	5m 24s
	5h 45m 52s

Provide feedback