How to install skytools3-walmgr on Debian 9 (Stretch)