Tweak output format in runtests.lua