Delete INSTALL.txt~