En realidad el problema estaba en que tenía instalada la versión para Red Hat de Mono. Lo he desinstalado (siguiendo lo que aquí me dijeron:
http://forums.fedoraforum.org/showth...01839&posted=1) y el problema se ha solucionado.
Gracias de todos modos por la ayuda.