Build and infrastructure fixes for FreeBSD #9303

Job	Run time
check-ubuntu-20_04-cmake-gcc	18m 45s
check-ubuntu-20_04-make-clang	23m 45s
check-ubuntu-20_04-make-clang-smt-z3	4m 13s
check-ubuntu-20_04-make-gcc	15m 40s
check-ubuntu-22_04-cmake-gcc	19m 9s
check-ubuntu-22_04-cmake-gcc-13	17m 59s
check-ubuntu-22_04-cmake-gcc-32bit	18m 43s
check-ubuntu-22_04-make-clang	16m 27s
check-macos-11-make-clang	41m 8s
check-macos-12-cmake-clang	45m 21s
check-ubuntu-20_04-cmake-gcc-KNOWNBUG	2m 36s
check-ubuntu-20_04-cmake-gcc-THOROUGH	7m 50s
check-vs-2019-cmake-build-and-test	46m 46s
check-vs-2022-make-build-and-test	49m 4s
check-string-table	2m 33s
check-docker-image	20m 19s
codecov-coverage-report	24m 15s
include-what-you-use	26m 32s
windows-msi-package	5m 21s
	6h 46m 26s

Provide feedback