kill doc gtk-sharp