INSTALL.RHEL: Explain how to work around old Autoconf; add more prereqs.