Fix macos ci #1459

Job	Run time
Docker	8m 44s
Coverage (STP)	14m 16s
Linux (LLVM 16)	4m 2s
Coverage (Z3)	14m 17s
Linux (LLVM 15)	9m 49s
macOS	11m 26s
Coverage (Bitwuzla)	14m 19s
Linux (LLVM 14)	4m 1s
Linux (LLVM 13)	5m 26s
clang-format	13s
Linux (LLVM 12)	11m 27s
Linux (LLVM 11, Doxygen)	12m 55s
Linux (ASan)	14m 17s
Linux (UBSan)	1m 14s
Linux (MSan)	1m 52s
Linux (Z3 only)	1m 13s
Linux (metaSMT)	2m 44s
Linux (STP master)	1m 36s
Linux (Bitwuzla only)	12m 16s
Linux (Latest klee-uclibc)	13m 37s
Linux (Asserts disabled)	12m 31s
Linux (No TCMalloc, optimised runtime)	1m 35s
	2h 53m 50s

Provide feedback