let get_output () =
  match !output_dir with
    | Some dir -> dir
    | None ->
        let dir =
          match OutputDir.get () with
            | "" ->
                if !Config.is_gui
                then make_gui_dir ()
                else make_tmp_dir ()
            | dir ->
                make_output_dir dir
        in
        output_dir := Some dir ; dir