Some litte changes
Enable NDN for krivine