trying a new thing for getting output of boxer.

basically, my theory is that all that stream twiddling etc adds way too
much overhead. if I'm right, I should see some performance improvements.