tuve un problema con el de 32x bit por que me decia que el archivo estaba dañado entonces no se si a otros les paso.
