Re: [Gsll-devel] patch to export random number distribution symbols