Migrate the prelude-rename-buffer-and-file