Re: [petsc-dev] Globsearch fails for me when running tests