How to remove monodoc-base from Debian 9 (Stretch)