788cf1a9fe
Thanks to Paul Hargrove for reporting the problem, and submitting patch. * https://www.open-mpi.org/community/lists/devel/2016/05/18886.php