Fixes #7207: Add RHEL7 support.

rhel-6-server-rpms?