A collection of useful MPI extensions