take over changes from kdevelop (4:4.7.0-0ubuntu2)