pipe standard input to file