updated INSTALL.txt for cmake