PETSc for Debian/Ubuntu