ipc_free(9) on Linux

The text 0e151e6e96b5, as Debian 7 (Wheezy) shipped it.

free ipc space

ipc_free(9) on Linux now