diff --git a/library/Makefile.in b/library/Makefile.in
index f220137ae8..00279ebc7a 100644
--- a/library/Makefile.in
+++ b/library/Makefile.in
@@ -29,7 +29,7 @@ clean:
 	find . -name *.olean -delete
 	find . -name *.depend -delete
 
-$(BOOT_DIR)/%.cpp: %.lean
+$(BOOT_DIR)/%.cpp: %.lean %.olean
 	@mkdir -p $(@D)
 	$(LEAN) $(OPTS) --cpp=$@ $<
 
diff --git a/src/boot/init/version.cpp b/src/boot/init/version.cpp
index aef5070b7e..bc758a0661 100644
--- a/src/boot/init/version.cpp
+++ b/src/boot/init/version.cpp
@@ -41,7 +41,7 @@ obj* _init_l_lean_githash() {
 _start:
 {
 obj* x_0; 
-x_0 = lean::mk_string("2d55c3f73cf26b483826a13606eda8621334f246");
+x_0 = lean::mk_string("6cb96331b13a3f7b3186bc69862e3f6f7a27ba8f");
 return x_0;
 }
 }