I was trying to download the compressed data to a remote server that I’m accessing from my Windows machine via samba. This thread describes the problem:
https://sourceforge.net/p/sevenzip/discussion/45797/thread/6358ccaa/
Once I downloaded directly to my windows machine I didn’t have a problem.
Apologies for any time spent addressing this. Many thanks, Dave