rename

fun Path.rename(filename: String): Path?