How to remove mono-tools-gui from Debian 9 (Stretch)