[Bug 1086008] petsc fails to build on s390