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