do you use kde 4.2?