Re: [petsc-dev] pip cannot currently automatically download and install petsc on OS X