Support logging to an external file, not only stderr