How to remove mono-runtime-boehm from Debian 9 (Stretch)