diff --git a/tools/Makefile b/tools/Makefile
index 09bf5d30d..a863f817c 100644
--- a/tools/Makefile
+++ b/tools/Makefile
@@ -26,5 +26,6 @@ clean: tools-clean
 
 tools-clean:
 	$(RM) tools/headerversions
+	$(RM) tools/headerversions.o
 
 include tools/test/Makefile