[boost] Problem with boost::random seed