GtkSharp/gtkhtml/gtkhtml-sharp.dll.config.in