input_readch must return R_EOF instead of WEOF. Fixes #1452