Lo acabo de descargar gracias. El problema era que el navegador bloqueaba algunos elementos.
Imagino que le tengo que quitar la extensión .exe para dejarlo en zip
Hay algo que no es correto; el archivo resultante son 300 Kb cuando debería ser 6,62 MB
Edito: había que dar en Download Now.
Gracias. A ver si con este hay suerte.