[leroyrandolph]

I've ran into issues unzipping to a path too long with 7-Zip but immediately resolved with WinRAR. Might be a trivially solvable problem, but since WinRAR worked, I didn't bother investigating.