output file name -- unix-style file specification for file to write output into.