better ctrl-alt handling, at least for SDL/X11