[PATCH] When logging to a file, stderr should go both to stderr and file