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