Rename INSTALL to INSTALL.txt