diff --git a/cil-1.7.3-enable-ocamlopt-g.patch b/cil-1.7.3-enable-ocamlopt-g.patch
index 4098d57..399146b 100644
--- a/cil-1.7.3-enable-ocamlopt-g.patch
+++ b/cil-1.7.3-enable-ocamlopt-g.patch
@@ -4,4 +4,4 @@
  "test": not_hygienic
  # build every cmo in debug mode (for cil.cma)
  <**/*.cmo>: debug
-+<**/*.cmx>: debug
++true: debug