* app.c (do_scrub_chars): Do not UNGET an EOF value.