I just looked for 7-Zip and apparently it is only for Windows, which really doesn't help since I can't run windows as a virtual machine any more.
