external wait_for_text : clipboard -> string option
      = "ml_gtk_clipboard_wait_for_text"