diff --git a/analyzer/CMakeLists.txt b/analyzer/CMakeLists.txt
index 1937e398..f3729747 100644
--- a/analyzer/CMakeLists.txt
+++ b/analyzer/CMakeLists.txt
@@ -362,6 +362,8 @@ add_custom_target(ikos-python ALL
 
 install(CODE "
   set(PIP_INSTALL
+    \"${PYTHON_EXECUTABLE}\"
+    \"-m\"
     \"pip\"
     \"install\"
   )