Fix petsc dir.