Is it worth sharing this on the OpenMPI mailing list? I would guess you work closely with those guys anyway.