How to install openhpi-plugin-ipmi-dbgsym on Debian Unstable (Sid)