use 7zip to extract iso and bin. Fixes #545