diff --git a/library/init/version.lean.in b/library/init/version.lean.in
index 8457853ebb..6eb3b3fc6f 100644
--- a/library/init/version.lean.in
+++ b/library/init/version.lean.in
@@ -1,5 +1,8 @@
 prelude
-import init.data.nat.basic
+import init.data.nat.basic init.data.string.basic
 
 def lean.version : nat × nat × nat :=
 (@LEAN_VERSION_MAJOR@, @LEAN_VERSION_MINOR@, @LEAN_VERSION_PATCH@)
+
+def lean.githash : string :=
+"@GIT_SHA1@"