write INSTALL.txt