Re: petsc-dev recompile needed