fix kdevelop setting