How to remove syslinux-themes-debian from Debian 9 (Stretch)