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