E' il file eseguibile

updateLauncher

che deve essere a 32 bit e probabilmente non lo è ...