Use unzip/zip instead of ZipArchive class.

The php ZipArchive class lacks support of setting executable bits.