Update INSTALL.txt.