use 7zip on windows as the command line unzip utility