Update INSTALLING.txt