Re: [galaxy-dev] GATK tools not showing up in cloudman Galaxy installation