diff --git a/src/Makefile b/src/Makefile
index 760d297884633cf1bff357b6e9b3cb9e49211db7..0ba0c8f8808e216e2b37854f5a7bb967e1f87fbc 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -7,7 +7,7 @@ hbal:
 	ghc --make -O2 -W hbal
 
 clean:
-	rm -f *.o *.cmi *.cmo *.cmx *.old hn1 zn1 *.prof *.ps *.stat *.aux \
-        gmon.out *.hi README.html TAGS
+	rm -f *.o *.old hn1 hbal *.prof *.ps *.stat *.aux \
+        *.hi README.html TAGS
 
 .PHONY : all clean hn1 hbal