Re: change to petsc-dev