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