MPI_Comm_disconnect.openmpi(3) on Linux

The text 1c4b3f6b3420, as Debian 9 (Stretch) shipped it.

Deallocates communicator object and sets handle to MPI_COMM_NULL.