Fix cobertura generation.