Como desinstalar topmenu-gtk2 do Debian 9 (Stretch)