How to remove topmenu-gtk3 from Debian 9 (Stretch)