Re: [petsc-dev] making BuildSystem hard to debug