I've just tried that .zip on my other laptop which also couldn't open the .zip on that other forum and it has opened without any problems even without the Windows Club batch file.
I'll have to dig deeper to see if I can find that thread to test both machines - one with the batch file executed and the other without.