update to INSTALL.txt