We either keep this here, or we add in jenkins.sh so jenkins can build reports.