7b73c868d5
Thanks to @clintonstimpson for reporting the issue. Fixes open-mpi/ompi#100 Signed-off-by: Jeff Squyres <jsquyres@cisco.com>