diff --git a/satysfi.opam b/satysfi.opam
index 64dde2c22..df6d06fa9 100644
--- a/satysfi.opam
+++ b/satysfi.opam
@@ -1,6 +1,5 @@
 opam-version: "2.0"
 name: "satysfi"
-version: "0.0.5"
 maintainer: "gfngfn"
 authors: [
   "gfngfn"
@@ -10,6 +9,7 @@ dev-repo: "git+https://github.com/gfngfn/SATySFi.git"
 bug-reports: "https://github.com/gfngfn/SATySFi/issues"
 build: [
   ["mkdir" "-p" "temp"]
+  ["dune" "subst"] {pinned}
   [make "-f" "Makefile" "PREFIX=%{prefix}%"]
 ]
 install: [
diff --git a/src/frontend/main.ml b/src/frontend/main.ml
index f349b94af..2bf3d1a38 100644
--- a/src/frontend/main.ml
+++ b/src/frontend/main.ml
@@ -948,9 +948,10 @@ let error_log_environment suspended =
       report_error System [ NormalLine(s); ]
 
 
+(* %%VERSION%% is expanded by "dune subst" *)
 let arg_version () =
   print_string (
-    "  SATySFi version 0.0.5\n"
+    "  SATySFi version %%VERSION%%\n"
 (*
       ^ "  (in the middle of the transition from Macrodown)\n"
       ^ "    ____   ____       ________     _____   ______\n"