Change to use [f5] to save-buffers-kill-terminal. Because [f4] is used to save
macros.