updating INSTALL