kill obsolete kdevelop patch