Run with --with-xcoverage so we get reports in Jenkins