Easier reporting to a file instead of stdout