(close_stdout_set_file_name): New function.