This commit fixes coverage reports for RHEL 7 and Rawhide.
Merge branch 'rbarlow-coverage'