How to remove libgtk-sharp-beans2.0-cil-dev from Debian 9 (Stretch)