Re: [petsc-dev] Reminder: *every* symbol with extern linkage *must* be namespaced