Re #10031. Fix for normal distribution on rhel6.