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