[Bug 1217751] PETSc packaging is broken