How to remove libmono-profiler-gui-thread-check from Debian 9 (Stretch)