diff --git a/Makefile b/Makefile
index d56281a..ac3a8ba 100644
--- a/Makefile
+++ b/Makefile
@@ -11,7 +11,7 @@ INNER_SOURCE_DIRS = api bootstrap common/code common/proofs glue/code glue/proof
 HACL_SNAPSHOT_DIR = $(MLS_HOME)/hacl-star-snapshot
 SOURCE_DIRS = $(addprefix $(MLS_HOME)/fstar/, $(INNER_SOURCE_DIRS))
 
-DY_INCLUDE_DIRS = core lib lib/comparse lib/event lib/state lib/utils
+DY_INCLUDE_DIRS = core lib lib/comparse lib/crypto lib/event lib/state lib/utils
 INCLUDE_DIRS = $(SOURCE_DIRS) $(HACL_SNAPSHOT_DIR)/lib $(HACL_SNAPSHOT_DIR)/specs $(COMPARSE_HOME)/src $(if $(USE_DY), $(addprefix $(DY_HOME)/src/, $(DY_INCLUDE_DIRS)))
 FSTAR_INCLUDE_DIRS = $(addprefix --include , $(INCLUDE_DIRS))
 
diff --git a/flake.lock b/flake.lock
index ea39fd7..3a89133 100644
--- a/flake.lock
+++ b/flake.lock
@@ -36,11 +36,11 @@
         ]
       },
       "locked": {
-        "lastModified": 1721649266,
-        "narHash": "sha256-M5zka8Ig1K/XY4SxeiOL0G4jQrrOM7YQtuA6A329Vg8=",
+        "lastModified": 1721816292,
+        "narHash": "sha256-3J+AQxreaQ634uRwg0a8QplRxnkI0GsSHupMAtMtCfM=",
         "owner": "REPROSEC",
         "repo": "dolev-yao-star-extrinsic",
-        "rev": "ee46696a0c4ac9789c72d12e3234f429388303d3",
+        "rev": "b220103634a70e3a847d55f96ddc167cb4c6d474",
         "type": "github"
       },
       "original": {