Actually WinRAR failed to unpack it correctly (the apps wouldn't run - they just bombed after the splash screen started to display the progress bar without warning, or error). I unpacked again with DOpus context menu unzipper (much quicker) and it now works fine. I wonder if there is an issue with NOD32 and WinRAR ?