change ppa for petsc3.4.2