This workaround fixes this issue : sudo mkdir -p /usr/share/syslinux/themes/debian/extlinux
Note that extlinux and syslinux packages are uptodate from bpo. -- Alain Rpnpif -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org