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