[galaxy-user] Problems when downloading a local galaxy tool (old version)