#6101: Remove unused files.