disable webkitgtk specific option for gtkhtml