diff --git a/src/arch/i386/Makefile b/src/arch/i386/Makefile
index d1b885c8..4925cc4e 100644
--- a/src/arch/i386/Makefile
+++ b/src/arch/i386/Makefile
@@ -82,7 +82,8 @@ ISOLINUX_BIN_LIST	:= \
 	/usr/share/syslinux/isolinux.bin \
 	/usr/share/syslinux/bios/isolinux.bin \
 	/usr/local/share/syslinux/isolinux.bin \
-	/usr/local/share/syslinux/bios/isolinux.bin
+	/usr/local/share/syslinux/bios/isolinux.bin \
+	/usr/lib/ISOLINUX/isolinux.bin
 ISOLINUX_BIN	= $(firstword $(wildcard $(ISOLINUX_BIN_LIST)))
 
 # i386-specific directories containing source files