How to install libmono-profiler-gui-thread-check on Debian 9 (Stretch)