Does `os_rename()` handle this correctly?