[petsc-dev] configure option missing for MPI.h / on IBM machine