I dont know what linux is, so i dont know if it would work. But i use 7zip to extract files on my pc. It comes with 2, but 1 is easy to use, just right click on the file and hit extract. The other, you have to open 7zip location, launch it, find the file you want to extract thru it and open it that way. Like i said, idk if itll work, but hope this can help