#6101: Delete these files.