Timothy, I installed the gtksourceview-sharp.dll with red-carpet and it got installed in /opt/gnome/lib. I had the same compilation error like you. After making a symbolic link in /usr/lib to the gtksourceview-sharp.dll in /opt/gnome/lib everything compiled without problems. cd /usr/lib ln -s /opt/gnome/lib/gtksourceview-sharp.dll gtksourceview-sharp.dll Peter