Re: [galaxy-user] Problem using Galaxy on the cloud