diff --git a/Makefile b/Makefile
index 4627209..8365031 100644
--- a/Makefile
+++ b/Makefile
@@ -11,7 +11,7 @@ INNER_SOURCE_DIRS = api bootstrap common/code common/proofs common/symbolic glue
 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/crypto lib/event lib/state lib/utils
+DY_INCLUDE_DIRS = core lib lib/comparse lib/crypto lib/event lib/hpke 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 cef30de..0e28b8a 100644
--- a/flake.lock
+++ b/flake.lock
@@ -36,11 +36,11 @@
         ]
       },
       "locked": {
-        "lastModified": 1721926025,
-        "narHash": "sha256-dQYLo0UZTeISpQK6Z6O7ClTULa3cP+OSY6jYBpcTcFs=",
+        "lastModified": 1722599947,
+        "narHash": "sha256-/vyB45kDyp6XlbJFVldw95QDKkmrwbet8VM6VoVNw6M=",
         "owner": "REPROSEC",
         "repo": "dolev-yao-star-extrinsic",
-        "rev": "b6fbb8c52bce7af578f04f959f93064c8799936d",
+        "rev": "170ed7e9aa94199f11f83d533a73bd9330d92675",
         "type": "github"
       },
       "original": {