In addition, I manually extracted the contents of the zip and created a new zip from scratch. This resulted in a different hash, so I adjusted downloader.cmake to reference the new hash. It also failed again, with the same error.
In addition, I manually extracted the contents of the zip and created a new zip from scratch. This resulted in a different hash, so I adjusted downloader.cmake to reference the new hash. It also failed again, with the same error.