KDE: default to 4.11