gnome-sharp fix