Re: [petsc-dev] buildsystem: cusp location