Update install_redhat.md