let file base ext =
    if Wp_parameters.debug_atleast 1
    then 
      begin
        let dout = Wp_parameters.get_output () in 
      incr tmp ; Printf.sprintf "%s/wptmp%d%s" dout !tmp ext
      end
    else Extlib.temp_file_cleanup_at_exit base ext