diff --git a/helpers/make-debian-installer b/helpers/make-debian-installer
index 1bc56f75636d1549bd1ac8a4cd4691485e5feed1..05d1f30c7713774312be525cf2c44e12f2121f30 100644
--- a/helpers/make-debian-installer
+++ b/helpers/make-debian-installer
@@ -81,6 +81,10 @@ rpl ubuntu-archive-keyring trisquel-archive-keyring . -R
 sed -i 's/.*SIGNED_IMAGE="$(KERNELNAME_ALT_SUFFIX)".*/'$'\t''efi-image $(TEMP_GRUB_EFI) x86_64-efi x64/' build/config/x86.cfg build/config/arm64.cfg
 /bin/sed -i '/KERNELNAME_ALT_SUFFIX = -$(KERNELVERSION)/d' build/config/*.cfg build/config/*/*.cfg
 
+# Fix mini.iso boot on EFI systems
+sed 's|/debian|/trisquel|' -i ./build/util/efi-image
+sed 's|EFI/debian|EFI/trisquel|' -i ./build/config/arm.cfg ./build/config/x86.cfg
+
 changelog "Rebranded and adapted for Trisquel"
 compile