fix Redhat distro name