The 7zip options for creating a compressed zip file