Use Zippy to zip
Merge pull request #971 from romainneutron/introduce-zippy

[3.9] Use Zippy to zip