1bea2b2575
Thanks to Lisandro Dalcin for reporting. Fixes open-mpi/ompi#1865. Signed-off-by: Jeff Squyres <jsquyres@cisco.com>