process_output should use a random temporary file name