Fix macos ci #1464

Job	Run time
macOS	9m 6s
Coverage (STP)	54m 22s
Linux (LLVM 16)	9m 58s
Coverage (Z3)	54m 49s
Linux (LLVM 15)	9m 45s
clang-format	8s
Coverage (Bitwuzla)	53m 30s
Linux (LLVM 14)	12m 27s
Linux (LLVM 13)	12m 5s
Docker	8m 5s
Linux (LLVM 12)	13m 28s
Linux (LLVM 11, Doxygen)	12m 52s
Linux (ASan)	49m 42s
Linux (UBSan)	49m 27s
Linux (MSan)	1h 10m 53s
Linux (Z3 only)	13m 59s
Linux (metaSMT)	34m 42s
Linux (STP master)	14m 35s
Linux (Bitwuzla only)	12m 27s
Linux (Latest klee-uclibc)	13m 51s
Linux (Asserts disabled)	12m 12s
Linux (No TCMalloc, optimised runtime)	35m 46s
	9h 18m 9s

Provide feedback