The text 05c4f0eef32e, as Debian 7 (Wheezy) shipped it.
Makes a group from the difference of two groups
MPI_Group_difference(3) on Linux now