extension to PHP ZipArchive class