This reverts commit a7354899. The way stdout/stderr get routed seems to work differently locally and on the bots. Investigating.