update #274: fix compilation for PETSc 3.1 on ubuntu precise