bugfix: output_cerr_and_file forgot to make it actually output to file before.