Re: [galaxy-dev] Getting binary programs into Galaxy distribution?