Eliminate end-of-file marker handling code. This is the code that

Eliminate end-of-file marker handling code.  This is the code that
used to handle ^Z in DOS files -- but the ^Z convention is very old
and not worth putting in explicit support for.