#6101: Other unneeded files.