I compressed the file myself using "Dropstuff", the file compressor
corresponding to "stuffit expander" (they are from the same company). That
is why I suggested using "stuffit expander", though I imagine there are
other programs that could perform the same task.
All the best,