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