Crippling problem with KDevelop after upgrading to 3.5.13.1