The text 7ee7c0b7dd42, as Debian 10 (Buster), Debian 9 (Stretch) shipped it.
icetDestroyMPICommunicator(3) on Linux now
