updated documentation in INSTALL script