MPI_Comm_disconnect(3) on Linux

The text 20251a795b1a, as Debian 6.0 (Squeeze) shipped it.

Deallocates communicator object and sets handle to MPI_COMM_NULL.

MPI_Comm_disconnect(3) on Linux now