diff --git a/CMakeLists.txt b/CMakeLists.txt
index 0e2c8ac..e4f6b81 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -314,6 +314,7 @@ endif()
 ################################################################################
 # Threading support
 ################################################################################
+set(THREADS_PREFER_PTHREAD_FLAG TRUE)
 find_package(Threads)
 list(APPEND Z3_DEPENDENT_LIBS ${CMAKE_THREAD_LIBS_INIT})