diff --git a/GNUmakefile b/GNUmakefile
index 4ab780e9..2d1e22ce 100644
--- a/GNUmakefile
+++ b/GNUmakefile
@@ -52,10 +52,10 @@ assets:
 	cp default/assets ./
 
 manifest:
-	dune exec src/mte.exe > manifest.json
+	dune exec src/mte.exe > src/manifest.json
 
 build:
 	dune build src/mte.exe
 
-run:
-	solo5-hvt --block:storage=$(secmod_fat) --net:service=$(tap_device) -- _build/solo5/src/mte.exe --solo5:quiet
+run: build
+	solo5-hvt --block:storage=$(secmod_fat) --net:service=$(tap_device) -- ./_build/solo5/src/mte.exe --solo5:quiet
diff --git a/manifest.json b/manifest.json
deleted file mode 100644
index 54f7af0c..00000000
--- a/manifest.json
+++ /dev/null
@@ -1 +0,0 @@
-{"type":"solo5.manifest","version":1,"devices":[{"type":"NET_BASIC","name":"service"},{"type":"BLOCK_BASIC","name":"storage"}]}
diff --git a/secmod.fat b/secmod.fat
new file mode 100644
index 00000000..b1a22373
Binary files /dev/null and b/secmod.fat differ