amend last commit: if client no longer has a file that the server has
listed as deleted, server will no longer tell the client to get that
file