Make ZipExtension compatible in PHP 5.3