diff --git a/src/crangler/Makefile b/src/crangler/Makefile
index 8583aa9039b..6456e2214ba 100644
--- a/src/crangler/Makefile
+++ b/src/crangler/Makefile
@@ -17,7 +17,9 @@ INCLUDES= -I ..
 include ../config.inc
 include ../../$(CPROVER_DIR)/src/common
 
-CLEANFILES = crangler$(LIBEXT)
+CLEANFILES = crangler$(LIBEXT) \
+  c_lex.yy.cpp \
+  crangler$(EXEEXT)
 
 all: crangler$(EXEEXT)