Re: [petsc-dev] Generating debugging symbols for examples on OSX