small edit to compille DGtalTools