kdevelop file externally modified