--- build/gen.py.orig	2026-04-01 06:56:53
+++ build/gen.py	2026-04-27 23:32:47
@@ -257,8 +257,8 @@
     num = mo.group(1)
     commit_id = mo.group(2)
   else:
-    num = 0
-    commit_id = "UNKNOWN"
+    num = @VERSION@
+    commit_id = "@COMMIT_ID@"
 
   contents = '''// Generated by build/gen.py.