Uhm, sorry, I just checked and it's actually a conflict with libgtksourceview in /usr/lib and libgtksourceview installed by the mono tarball distribution. Please close this bug. -- Crash on startup with undefined symbol from gtksourceview https://launchpad.net/bugs/48728