Updates INSTALL.txt