Re: problems downloading ginac