added keymap for ghci