Deleted deprecated INSTALL file