Disable <F5> to call save-buffers-kill-terminal.