Fix coverage.xml generation.