Updating INSTALL file