fix broken GtkHTML support