Use 7-zip if it is on the command line.