GitLab

* fileio.c (Frename_file): Call copy-directory and delete-directory
for directories, in order to handle cross-device renaming.