update of DGtal's headers