diff --git a/builders.json b/builders.json
index 5a9fcb4..e24c4a1 100644
--- a/builders.json
+++ b/builders.json
@@ -116,6 +116,6 @@
     "build": [
       {"argv": ["python3", "{shen_inets}/build_shake.py", "{outdir}", "{outdir}/app.hvml"]}
     ],
-    "run": ["hvm", "run", "{outdir}/app.hvml"]
+    "run": ["python3", "{shen_inets}/run_app.py", "{outdir}/app.hvml"]
   }
 }