How to remove extra-xdg-menus from Debian 9 (Stretch)