use kde 4.12