Re: [petsc-dev] error with --download-amgx