Como desinstalar libtopmenu-server-gtk2-dev do Debian 9 (Stretch)