#6101: Delete unneeded files.