fix cobertura config