Update INSTALL_RHEL.md