diff --git a/patch.py b/patch.py
index b37f7c5..7af5907 100644
--- a/patch.py
+++ b/patch.py
@@ -38,7 +38,7 @@
 
 # add the USE_SIRIUS configuration flag in deps.cmake
 full_patch.append(Addition(
-    Path.cwd()/'cmake'/'deps.cmake',
+    Path.cwd()/'cmake'/'system_deps.cmake',
     '''
 if(USE_CPLEX)
   find_package(CPLEX REQUIRED)