diff --git a/debian/rules b/debian/rules
index e276d105..7dcc21f3 100755
--- a/debian/rules
+++ b/debian/rules
@@ -76,7 +76,7 @@ ifeq ($(shell dpkg --compare-versions $(shell dpkg-query -W -f '$${Version}' lib
 	Z3_FLAG = -DLLVM_ENABLE_Z3_SOLVER=ON
 endif
 
-FORCE_NOT_GCC_9_DISTRO := eoan bullseye sid
+FORCE_NOT_GCC_9_DISTRO := eoan focal bullseye sid
 ifneq (,$(filter $(DISTRO),$(FORCE_NOT_GCC_9_DISTRO)))
 # Force gcc before 9 (gcc 8 on Debian unstable) because it causes
 # huge increase of the size of the .deb (because of .a and .so) and issues in the libs