How to remove skytools3-walmgr from Debian 9 (Stretch)