changed RNG usage to conform to boost specification