zip extension for php was added