MPIX_Comm_shrink(3) on Linux

The text 694154eafa8f, as Debian 10 (Buster) shipped it.

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