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