How to install 9menu on Debian 9 (Stretch)