Fixes #7207: Add RHEL7 support.

What are the purpose of these?