How to install extra-xdg-menus on Debian 9 (Stretch)