[galaxy-dev] issue with install_tool_shed_repositories.py