diff --git a/src/Makefile b/src/Makefile
index d7b8f7ee2..dfb4059b3 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -2834,6 +2834,7 @@ uninstall_runtime:
 	-rm -rf $(DEST_LANG)
 	-rm -rf $(DEST_KMAP)
 	-rm -rf $(DEST_COMP)
+	-rm -rf $(DEST_COL)/tools
 	-rm -f $(DEST_PRINT)/*.ps
 	-rmdir $(DEST_HELP) $(DEST_PRINT) $(DEST_COL) $(DEST_SYN) $(DEST_IND)
 	-rm -rf $(DEST_FTP)/*.vim $(DEST_FTP)/README.txt $(DEST_FTP)/logtalk.dict