Fix output in bootstrap runtests script.