stdout pre_select(): use a minimal delay on input eof