Problem with keyboard layout US int. with dead keys in latest Tumbleweed