IO.rename(3kaya) on Linux

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

Rename a file

IO.rename(3kaya) on Linux now