diff --git a/dune-project b/dune-project
index 3fd5e399a..8828e4fe7 100644
--- a/dune-project
+++ b/dune-project
@@ -34,6 +34,7 @@ This is a fork of the 'cil' package used for 'goblint'. Major changes include:
     yojson
     conf-perl
     cppo
+    conf-gcc
   )
   (conflicts cil) ; only because we both install the cilly executable
 )
diff --git a/goblint-cil.opam b/goblint-cil.opam
index 9798913c6..a16112d5b 100644
--- a/goblint-cil.opam
+++ b/goblint-cil.opam
@@ -41,6 +41,7 @@ depends: [
   "yojson"
   "conf-perl"
   "cppo"
+  "conf-gcc"
 ]
 conflicts: ["cil"]
 build: [