Fix Ctrl+Tab on some linux keyboard layouts