Fix garbled Travis-CI output.