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