in length when readline is used (rl_len was a *char*!!!). Undo disabling
of readline (this fix was like ``finger hurts, cut hand'') I guess PR/5793
is already closed...
echo 10 / 3 | bc
prints
10 / 3\r\n\r3\r\n
with a stock readline... Our readline does not echo when it does not
have a tty, so it printed:
\r3\n
I removed printing the printing of \r for now...