add hack to disable F10 in GNOME terminal

also, small fix to vimrc key binding