ipc_free(9) on Linux

The text b62d88463dac, as Debian 5.0 (Lenny) shipped it.

free ipc space

ipc_free(9) on Linux now