Make RedHat 7 the default and _preferred_