Build and infrastructure fixes for FreeBSD #8898

Job	Run time
check-ubuntu-20_04-cmake-gcc	24m 29s
check-macos-11-make-clang	35m 14s
check-ubuntu-20_04-make-clang	39m 23s
check-macos-12-cmake-clang	1h 11m 22s
check-ubuntu-20_04-cmake-gcc-KNOWNBUG	3m 21s
check-ubuntu-20_04-cmake-gcc-THOROUGH	13m 7s
check-ubuntu-20_04-make-clang-smt-z3	4m 45s
check-ubuntu-20_04-make-gcc	23m 37s
check-ubuntu-22_04-cmake-gcc	50m 54s
check-ubuntu-22_04-cmake-gcc-13	22m 52s
check-ubuntu-22_04-cmake-gcc-32bit	22m 59s
check-ubuntu-22_04-make-clang	18m 51s
check-vs-2019-cmake-build-and-test	1h 18m 34s
check-docker-image	23m 2s
check-string-table	4m 1s
codecov-coverage-report	58m 27s
include-what-you-use	34m 37s
windows-msi-package	31m 31s
check-vs-2022-make-build-and-test	44m 26s
	10h 5m 32s

Provide feedback