diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt
index c8ea6d7671..6d4295341a 100644
--- a/src/CMakeLists.txt
+++ b/src/CMakeLists.txt
@@ -77,7 +77,7 @@ if((${CYGWIN} EQUAL "1") OR (${CMAKE_SYSTEM_NAME} MATCHES "Windows"))
   set(LEAN_WIN_STACK_SIZE "104857600")
   set(LEAN_EXTRA_LINKER_FLAGS "${LEAN_EXTRA_LINKER_FLAGS} -Wl,--stack,${LEAN_WIN_STACK_SIZE}")
   set(LEAN_EXTRA_CXX_FLAGS "${LEAN_EXTRA_CXX_FLAGS} -D LEAN_WINDOWS -D LEAN_WIN_STACK_SIZE=${LEAN_WIN_STACK_SIZE}")
-  set(EXTRA_LIBS ${EXTRA_LIBS} -lpsapi)
+  set(EXTRA_UTIL_LIBS ${EXTRA_UTIL_LIBS} -lpsapi)
 endif()
 
 if("${CYGWIN}" EQUAL "1")
@@ -274,6 +274,8 @@ if(NOT "${JEMALLOC_FOUND}")
  endif()
 endif()
 
+set(EXTRA_LIBS ${EXTRA_LIBS} ${EXTRA_UTIL_LIBS})
+
 # Python
 find_package(PythonInterp)
 
diff --git a/src/checker/CMakeLists.txt b/src/checker/CMakeLists.txt
index 23efd9867f..203c1896cb 100644
--- a/src/checker/CMakeLists.txt
+++ b/src/checker/CMakeLists.txt
@@ -1,4 +1,5 @@
 add_executable(leanchecker checker.cpp text_import.cpp
         $<TARGET_OBJECTS:util> $<TARGET_OBJECTS:sexpr>
         $<TARGET_OBJECTS:kernel> $<TARGET_OBJECTS:inductive> $<TARGET_OBJECTS:quotient>)
+target_link_libraries(leanchecker ${EXTRA_UTIL_LIBS})
 install(TARGETS leanchecker DESTINATION bin)