add INSTALL.txt