diff --git a/library/Makefile.in b/library/Makefile.in
index 4b6e430ce2..d352d63e60 100644
--- a/library/Makefile.in
+++ b/library/Makefile.in
@@ -29,7 +29,7 @@ depends: $(DEPS)
 
 %.olean: %.lean %.depend
 	@mkdir -p $(STAGE1_DIR)/$(@D)
-	$(LEAN) $(OPTS) --make --cpp="$(STAGE1_DIR)/$*.cpp.tmp" $<
+	$(LEAN) $(OPTS) --make --c="$(STAGE1_DIR)/$*.cpp.tmp" $<
 # create the .cpp file atomically
 	mv "$(STAGE1_DIR)/$*.cpp.tmp" "$(STAGE1_DIR)/$*.cpp"
 # make sure the .olean file is newer than the .depend file to prevent infinite make cycles