fix in syslinux