external set_icon_default : Gdk.drag_context -> unit
      = "ml_gtk_drag_set_icon_default"