Re: [petsc-dev] bug in BuildSystem check