Re: [galaxy-dev] Changing the location of toolsheddb fails