Re: /etc/redhat-release?