Ok, encontré el problema ...
El proceso es algo más complicado. La compilación se produce en otra máquina (Build Server). Y subo el archivo y luego lo descargo en mi computadora portátil. Y parece que a través de la transferencia de FTP algo sale mal. No sé si es el modo de transferencia (ASCII vs Binario), hay que comprobarlo. Contrasté los hashes de este documento EX4 que descargué y de este EX4 en el servidor de compilación y son diferentes. Cuando copio el archivo EX4 a través de RDP directamente ...