add 64bit MKL RNG