Fix kdoctools build