switch to using 7z for extracting the ISO