Re: [galaxy-dev] Problem with the Galaxy tool shed