Update INSTALL.txt

Fix #252