How to remove darcs-monitor from Debian 9 (Stretch)