diff --git a/library/Makefile.in b/library/Makefile.in
index b986195919..5dc1834d9e 100644
--- a/library/Makefile.in
+++ b/library/Makefile.in
@@ -29,6 +29,7 @@ depends: $(DEPS)
 clean:
 	find . -name *.olean -delete
 	find . -name *.depend -delete
+	find $(STAGE1_DIR) -name *.cpp -delete
 
 $(STAGE1_DIR)/%.cpp: %.lean %.olean
 	@mkdir -p $(@D)
diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt
index deb3c49d09..da6f4c03df 100644
--- a/src/CMakeLists.txt
+++ b/src/CMakeLists.txt
@@ -553,11 +553,6 @@ add_custom_target(clean-std-lib
   COMMAND make clean
   )
 
-add_custom_target(clean-stage1
-  WORKING_DIRECTORY "${LEAN_SOURCE_DIR}"
-  COMMAND "${CMAKE_COMMAND}" -E remove_directory stage1
-  )
-
 add_custom_target(clean-leanpkg
   WORKING_DIRECTORY "${LEAN_SOURCE_DIR}/../leanpkg"
   COMMAND "${CMAKE_COMMAND}" -P "${CMAKE_MODULE_PATH}/CleanOlean.cmake"