diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt
index 54fb698c59..8b60515d2a 100644
--- a/src/CMakeLists.txt
+++ b/src/CMakeLists.txt
@@ -38,7 +38,7 @@ include(FindPackageHandleStandardArgs)
 FIND_PACKAGE_HANDLE_STANDARD_ARGS(GMP DEFAULT_MSG GMP_INCLUDE_DIR GMP_LIBRARIES)
 mark_as_advanced(GMP_INCLUDE_DIR GMP_LIBRARIES)
 
-set (CMAKE_CXX_COMPILER "g++-4.8")
+set (CMAKE_CXX_COMPILER clang++)
 
 add_subdirectory(util)
 add_subdirectory(shell)
diff --git a/src/shell/CMakeLists.txt b/src/shell/CMakeLists.txt
index 5981dc819f..8fb1ea710e 100644
--- a/src/shell/CMakeLists.txt
+++ b/src/shell/CMakeLists.txt
@@ -8,5 +8,7 @@ include_directories("${LEAN_BINARY_DIR}")
 include_directories (${LEAN_SOURCE_DIR}/util) 
 set (EXTRA_LIBS ${EXTRA_LIBS} util ${GMP_LIBRARIES})
 
+set (CMAKE_EXE_LINKER_FLAGS "${CMAKE_EXE_LINKER_FLAGS} -pthread")
+
 add_executable(lean lean.cpp)
 target_link_libraries (lean ${EXTRA_LIBS})