fix reuse prec with last petsc version (up #415)