external remove_default : icon_factory -> unit = "ml_gtk_icon_factory_remove_default"