and red hat is not a linux distro?