How to remove openhpi-plugin-watchdog-dbgsym from Debian 9 (Stretch)