How to remove mono-4.0-service from Debian 9 (Stretch)