Fix macos ci #1460

Job	Run time
Docker	7m 57s
clang-format	9s
Coverage (STP)	17m 48s
Coverage (Z3)	17m 46s
macOS	9m 28s
Coverage (Bitwuzla)	17m 48s
Linux (LLVM 16)	9m 43s
Linux (LLVM 15)	10m 11s
Linux (LLVM 14)	13m 4s
Linux (LLVM 13)	12m 7s
Linux (LLVM 12)	13m 16s
Linux (LLVM 11, Doxygen)	11m 34s
Linux (ASan)	17m 46s
Linux (UBSan)	5m 48s
Linux (MSan)	8m 12s
Linux (Z3 only)	5m 30s
Linux (metaSMT)	7m 18s
Linux (STP master)	6m 4s
Linux (Bitwuzla only)	12m 23s
Linux (Latest klee-uclibc)	13m 55s
Linux (Asserts disabled)	12m 33s
Linux (No TCMalloc, optimised runtime)	6m 6s
	3h 56m 26s

Provide feedback