using 7-zip to compress files