don't abuse /dev/stdin as a file