FileSaver: better names for input and output streams