Work around some problems with KDevelop's parser