Get PETSc working