[galaxy-dev] galaxy tries to access toolshed at http instead of using https