How to install ifpgui on Debian 9 (Stretch)