adapt to the latest Distributions.jl (v0.6.2)