external set_filename : [> Gtk.file_chooser] Gtk.obj -> string -> bool
      = "ml_gtk_file_chooser_set_filename"