Fix issue with random numbers generator in dns.