new KDE version, 4.13.3