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