Fixes #7207: Add RHEL7 support.