Ok, I ran
this for Windows Server 2012R2 and now the 1.3 benchmark works. I'll test shortly with 1.4...
Edit: An Amazon cr1.8xlarge machines gets the following Benchmark, btw, in case anyone's interested:
Corona 1.3 Benchmark Finished
BTR Scene 16 passes
Intel(R) Xeon(R) CPU E5-2670 0 @ 2.60GHz (x2)
Real CPU Frequency [GHz]: 2.6
Render Time: 0:01:46, Rays/sec: 4,580,370