Fixed the INSTALL.txt file (it lacked a 'cd install' statement)