Files are compressed using the free open-source
7-Zip
program.