How to remove vdr-plugin-svdrpext from Debian 9 (Stretch)