Fix usage of certain distribution classes for older versions of boost::random