Well... I jut realized that, in fact, Ctrl-Alt-xx behaves like Ctrl-xx. I'm going to search for the reason for this.
They are deactivated, you'll not get it to work. If you don't mind, I'll mail you my current XaAES too.
What you are using is over 6 months old, and that means ages in atari-world ...
-Helmut