#6101: Another deleted file.