while not helpful for his examples, some programs that don't grok "-" as a shortcut to read data from stdin (or a pipe) are ok being passed "/dev/stdin" as the filename.