edits to INSTALL.txt