Keybindings fix for Ubuntu 12.04