diff --git a/compiler/src/glob_options.ml b/compiler/src/glob_options.ml
index 1ad7a89fd..a2f669434 100644
--- a/compiler/src/glob_options.ml
+++ b/compiler/src/glob_options.ml
@@ -1,6 +1,6 @@
 open Utils
 (*--------------------------------------------------------------------- *)
-let version_string = "Jasmin Compiler @VERSION@"
+let version_string = "Jasmin Compiler 2023.06.3"
 (*--------------------------------------------------------------------- *)
 let outfile = ref ""
 let latexfile = ref ""