[galaxy-dev] toolshed and proxy