update INSTALL.txt