edit DGtal version