Fix RPM name for RHEL, make x86_64 change RHEL-family specific