Fix macos ci #1462

Job	Run time
clang-format	9s
Docker	8m 5s
Coverage (STP)	51m 2s
Linux (LLVM 16)	10m 46s
Coverage (Z3)	53m 44s
Linux (LLVM 15)	10m 36s
Coverage (Bitwuzla)	55m 9s
macOS	9m 0s
Linux (LLVM 14)	12m 24s
Linux (LLVM 13)	12m 31s
Linux (LLVM 12)	13m 38s
Linux (LLVM 11, Doxygen)	12m 12s
Linux (ASan)	48m 6s
Linux (UBSan)	49m 55s
Linux (MSan)	1h 10m 45s
Linux (Z3 only)	12m 30s
Linux (metaSMT)	35m 54s
Linux (STP master)	15m 27s
Linux (Bitwuzla only)	11m 51s
Linux (Latest klee-uclibc)	13m 47s
Linux (Asserts disabled)	12m 6s
Linux (No TCMalloc, optimised runtime)	35m 11s
	9h 14m 48s

Provide feedback