How to remove gir1.2-mate-menu from Debian 9 (Stretch)