let make_tmp_dir () =
  begin
    try Extlib.temp_dir_cleanup_at_exit "wp"
    with Extlib.Temp_file_error s ->
      abort "cannot create temporary file: %s" s
  end