This fixes commit 1cd2bb99, which attempted to plug the memory leak due to unfreed MPI communicators.