diff --git a/patch.py b/patch.py
index 6b19078..b486d7d 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'/'system_deps.cmake',
+    Path.cwd()/'cmake'/'deps.cmake',
     '''
 if(USE_CPLEX)
   find_package(CPLEX REQUIRED)