Fix coverage configuration
Merge pull request #3624 from yakky/coverage

Fix coverage configuration