INSTALL.txt changed