Minor tweak to ci_build_reporter.py