CMFDiffTool needs a new release.