diff --git a/debian/rules b/debian/rules
index 8d2f4212..716b173d 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
@@ -253,7 +253,7 @@ ifneq (,$(filter $(DEB_HOST_ARCH),$(BINUTILS_GOLD_ARCHS)))
 # armhf is not yet quite ready for Thin, it FTBFS
 # see https://buildd.debian.org/status/fetch.php?pkg=llvm-toolchain-8&arch=armhf&ver=1%3A8.0.1%7E%2Brc2-1%7Eexp1&stamp=1560334266&raw=0
 ifeq (,$(filter $(DEB_HOST_ARCH), armhf))
-#	CMAKE_EXTRA += -DLLVM_ENABLE_LTO="Thin"
+	CMAKE_EXTRA += -DLLVM_ENABLE_LTO="Thin"
 endif
 endif
 endif