Fix keybinding for Linux, so that it is more like Mac.