Почему то при перезагрузке (и, кажется, после долгого неиспользования компьютера, но не уверен) не включаются настройки раскладки клавиатуры. Настраивал через System->Preferences->Keyboard, ставил CapsLock as Ctrl, Menu as LayoutSwitch. Если зайти туда, поставить и убрать какой нибудь флажок, то всё работает.