Make coverage reporting work