Issue #1195: Fix input() if it is interrupted by CTRL+d and then CTRL+c, clear

the end-of-file indicator after CTRL+d.