Sorry to have bothered you all with this question.. I solved it. Apparently I specified us-intl as the X keyboard layout. Should have been us_intl. us-intl is what it is on the console... Regards, Jan