Simplify prelude-rename-file-and-buffer