For DOLFIN usage, is it important to get petsc 2.3.3 or is 2.3.2 (which is in Ubuntu Gutsy) good enough? -- Martin