kde-4.12: branding fixes