diff --git a/packages/goblint-cil/goblint-cil.2.0.0/files/realGccConfigure.patch b/packages/goblint-cil/goblint-cil.2.0.0/files/realGccConfigure.patch
new file mode 100644
index 000000000000..a639ee8d7acf
--- /dev/null
+++ b/packages/goblint-cil/goblint-cil.2.0.0/files/realGccConfigure.patch
@@ -0,0 +1,15 @@
+diff --git a/bin/realGccConfigure.ml b/bin/realGccConfigure.ml
+index 738f419e..90337c2f 100644
+--- a/bin/realGccConfigure.ml
++++ b/bin/realGccConfigure.ml
+@@ -13,6 +13,10 @@ let is_real_gcc c gcc =
+ 
+ let gccs = [
+   "gcc";
++  "gcc-16";
++  "gcc-15";
++  "gcc-14";
++  "gcc-13";
+   "gcc-12";
+   "gcc-11";
+   "gcc-10";
diff --git a/packages/goblint-cil/goblint-cil.2.0.0/opam b/packages/goblint-cil/goblint-cil.2.0.0/opam
index 203cefab962d..248965a44d7e 100644
--- a/packages/goblint-cil/goblint-cil.2.0.0/opam
+++ b/packages/goblint-cil/goblint-cil.2.0.0/opam
@@ -41,6 +41,8 @@ depends: [
   "cppo"
   "conf-gcc"
 ]
+extra-files: ["realGccConfigure.patch" "md5=8cbe9cc88a05dc7b034b54930b31baed"]
+patches: ["realGccConfigure.patch"]
 conflicts: ["cil"]
 build: [
   ["dune" "subst"] {dev}
diff --git a/packages/goblint-cil/goblint-cil.2.0.1/files/realGccConfigure.patch b/packages/goblint-cil/goblint-cil.2.0.1/files/realGccConfigure.patch
new file mode 100644
index 000000000000..a639ee8d7acf
--- /dev/null
+++ b/packages/goblint-cil/goblint-cil.2.0.1/files/realGccConfigure.patch
@@ -0,0 +1,15 @@
+diff --git a/bin/realGccConfigure.ml b/bin/realGccConfigure.ml
+index 738f419e..90337c2f 100644
+--- a/bin/realGccConfigure.ml
++++ b/bin/realGccConfigure.ml
+@@ -13,6 +13,10 @@ let is_real_gcc c gcc =
+ 
+ let gccs = [
+   "gcc";
++  "gcc-16";
++  "gcc-15";
++  "gcc-14";
++  "gcc-13";
+   "gcc-12";
+   "gcc-11";
+   "gcc-10";
diff --git a/packages/goblint-cil/goblint-cil.2.0.1/opam b/packages/goblint-cil/goblint-cil.2.0.1/opam
index d01bce669427..7cddbdd07d33 100644
--- a/packages/goblint-cil/goblint-cil.2.0.1/opam
+++ b/packages/goblint-cil/goblint-cil.2.0.1/opam
@@ -41,6 +41,8 @@ depends: [
   "cppo"
   "conf-gcc"
 ]
+extra-files: ["realGccConfigure.patch" "md5=8cbe9cc88a05dc7b034b54930b31baed"]
+patches: ["realGccConfigure.patch"]
 conflicts: ["cil"]
 build: [
   ["dune" "subst"] {dev}