Since extension tools are removed from upstream sources, remove the installation from the makefile
--- a/src/extension_tools/Makefile
+++ b/src/extension_tools/Makefile
@@ -5,5 +5,3 @@
 .PHONY: all
 
 all:
-	mkdir -p "$(DESTDIR)"
-	cp -r node_modules install.js pack.js package.json readmanifest.js "$(DESTDIR)"/
