Re: [Galaxy-user] Problem using tools in local installation