Fix a bug in the test coverage for RHEL installs