external set_text : clipboard -> string -> unit = "ml_gtk_clipboard_set_text"