diff --git a/src/Makefile.cfg b/src/Makefile.cfg
index 1b323ca0..31721839 100644
--- a/src/Makefile.cfg
+++ b/src/Makefile.cfg
@@ -7,6 +7,10 @@
 # and other things
 #
 
+ifdef GCC80
+GCC72=1
+endif
+
 ifdef GCC72
 GCC71=1
 endif