diff --git a/Makefile b/Makefile
index 8e1f06087d..b979f5b861 100644
--- a/Makefile
+++ b/Makefile
@@ -262,7 +262,7 @@ endif
 
 $(ocaml_dir)/$(MAIN_DEFN_FILE)-kompiled/constants.$(EXT): $(ocaml_files)
 	eval $$(opam config env) \
-	    && $(K_BIN)/kompile --debug --main-module $(MAIN_MODULE) \
+	    && $(K_BIN)/kompile --debug --main-module $(MAIN_MODULE) --backend ocaml \
 	                        --syntax-module $(SYNTAX_MODULE) $(ocaml_dir)/$(MAIN_DEFN_FILE).k \
 	                        --hook-namespaces "KRYPTO" --gen-ml-only -O3 --non-strict \
 	                        --directory $(ocaml_dir) -I $(ocaml_dir) $(KOMPILE_OPTS) \
diff --git a/deps/k b/deps/k
index 39bec73772..b0b7ee6c94 160000
--- a/deps/k
+++ b/deps/k
@@ -1 +1 @@
-Subproject commit 39bec73772fca9fd0288b373521997ad8e9bbe2d
+Subproject commit b0b7ee6c94c4efd8fbcbb17b7a068db6af184684