--- gnome/gnome-sharp.dll.config.in.orig 2010-10-09 11:01:29.000000000 -0700 +++ gnome/gnome-sharp.dll.config.in 2013-07-03 14:56:52.000000000 -0700 @@ -6,4 +6,5 @@ +