How to install mate-applet-topmenu-dbg on Debian 9 (Stretch)