Fixes #7207: Add RHEL7 support.

where does this repo file come from?