How to install lxpanel-plugin-topmenu-dbg on Debian 9 (Stretch)