Added REQUIRE, to add Distributions.jl requirement