How to install openhpi-plugin-dynamic-simulator-dbgsym on Debian 9 (Stretch)