Make ctrl-left/right work on ubuntu