aaaae88e776a1c24337bfb982a1bb4423e55718c
Another attempt at fixing #2. b216057 had a bug where you couldn't pass
a file through stdin because we tried to read the file twice, which we
can't do if the input is a pipe.
Description