MPI_Unpublish_name(3) on Linux

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

Unpublish a service name published with MPI_Publish_name

MPI_Unpublish_name(3) on Linux now