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 ()