How to remove openhpi from Debian 9 (Stretch)