kde: update to 4.12.5.