(maint) Use 7za instead of modifying PATH

The 7zip.commandline package installs a script 7za that calls 7z. Use
this instead of hard-coding the path to 7-Zip by adding it to PATH.