r10e-rc4 (64-bit)