[Galaxy-user] Problem using tools in local installation