Re: [boost] problems with the Random library in Boost v1.47