[boost] Some modifications to the Boost random library