Update INSTALLATION.txt