How to install xiphos on Debian 9 (Stretch)