kde version bump to 4.12.2