How to install pdmenu on Debian 9 (Stretch)