sock_release(9) on Linux

The text 9f5c264d4b8d, as Debian 7 (Wheezy) shipped it.

close a socket

sock_release(9) on Linux now