kdevelop: fix