Re: [petsc-dev] problem registering a new solver