How to remove survex-aven from Debian 9 (Stretch)