updating INSTALL.txt