It's ok if files we want to remove have already been removed.