Renames a file.
int rename(String old_filename, String new_filename) { return ioRenameSync(old_filename, new_filename); }