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