Thanks for the wonderful help!
I don't have devel installed, that's still a little scary for me, but I'll try 7-zip, and since it's in testing, I can give feedback too :-)

Nicola