Eu tive o mesmo problema no Linux Mint. Eu instalei 3 pacotes, não sei qual deles estava faltando, mas funcionou.
apt-get install libgtk3.0
apt-get install libmono-profiler-gui-thread-check
Observe que libgtk3.0
regex selecionou libgtk3.0-cil
e libgtk3.0-cil-dev
.