gnome sharp from bug 382491