additional configuration options for gtk-sharp