Fix keyboard accents in Linux. Misc fixes and enh.