[galaxy-dev] Re: Galaxy install problems