How to install openhpi-plugin-ipmi on Debian 9 (Stretch)