CHG: updated documentation for INSTALL