Hola, no te lo has descargado bien porque no hay nada que tenga la extensión .exe de primeras. Tienes que darle donde pone "direct download link" en vez de en el download verde.
Y para este la única que me parece que va decente es cyanogenmod 9.
Un saludo.