4b00bf5b2e
On terms that support smm / rmm (f.i. xterm), initializing readline prints the smm sequence, regardless of whether stdout is a terminal or not, which in turn can make checkers' output unparseable. Workaround: set TERM to dumb before calling the checkers.