external add_default : icon_factory -> unit = "ml_gtk_icon_factory_add_default"