Added pfile: store STDIN in a temporary file and pass it to `file`