IO.rename(3kaya) on Linux

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

Rename a file

IO.rename(3kaya) on Linux now