How to remove topmenu-gtk-common from Debian 9 (Stretch)