if the file has already been removed, then we don't care