deletion of a file succeeds if the file no longer exists.