Build and infrastructure fixes for FreeBSD #8904

Job	Run time
check-ubuntu-20_04-make-clang	29m 5s
check-ubuntu-20_04-make-clang-smt-z3	4m 51s
check-ubuntu-20_04-make-gcc	27m 15s
check-ubuntu-22_04-cmake-gcc	22m 24s
check-ubuntu-22_04-cmake-gcc-13	27m 7s
check-ubuntu-22_04-make-clang	20m 48s
check-docker-image	31m 36s
check-macos-11-make-clang	35m 11s
check-macos-12-cmake-clang	1h 11m 20s
check-string-table	3m 47s
check-ubuntu-20_04-cmake-gcc	30m 16s
check-ubuntu-20_04-cmake-gcc-KNOWNBUG	4m 10s
check-ubuntu-20_04-cmake-gcc-THOROUGH	11m 58s
check-ubuntu-22_04-cmake-gcc-32bit	28m 21s
check-vs-2019-cmake-build-and-test	1h 5m 48s
check-vs-2022-make-build-and-test	46m 33s
include-what-you-use	29m 39s
windows-msi-package	7m 17s
codecov-coverage-report	52m 36s
	9h 10m 2s

Provide feedback