update from DGtal renaming