fixed isolinux/syslinux and f5.txt, again