Allow detection of input EOF in quiet mode by adding -no_ign_eof option