removed outdated reference to INSTALL.txt