INSTALL.txt committed