fix default value for RedHat platform-family