Re: [petsc-dev] BuildSystem clean-up