let make_gui_dir () =
  try
    let home = try Sys.getenv "HOME" with Not_found -> "." in
    make_output_dir (home ^ "/.frama-c-wp")
  with _ ->
    make_tmp_dir ()