Re: [petsc-dev] problem with TSIRM in PETSc