bugfix: actually make output_cerr_and_file output to file.