How to remove mono-tools-gui from Debian Unstable (Sid)