/dev/stdin has to be copied, but isn't a "-" on the command line