Fix old file format #2
Description
In the process of adding the newer .xz compressed file format, somehow the old .zip compression approach broke.
{{ message }}
In the process of adding the newer .xz compressed file format, somehow the old .zip compression approach broke.