MPIX_Comm_shrink(3) on Linux

The text 65a6bb239f5b, as Debian 12 (Bookworm) shipped it.

Creates a new communitor from an existing communicator while excluding failed processes