remove more stale files
update INSTALL