two input servers (was: Need help with system setup: CJK with Kile?)