upgrade to kde-4.12