redo input is file (otherwise no one stdin)