(Frename_buffer): When the current buffer is already named NAME, don't