svn - Revision 56721: /packages/openmpi/ompi/util