Fixes #8365: Add missing CentOS 7 support for installations.