assure VerifyTerminal can actually work as a regression test for issue #42