How to remove mono-dmcs from Debian 9 (Stretch)