travis CI scoverage fix