Dedup the cmi list when building the jenga archive