IO.close(3kaya) on Linux

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

Close a file.

IO.close(3kaya) on Linux now