write to files, not to stdout