diff --git a/tools/Makefile.in b/tools/Makefile.in
index 6974e9b63..42f7cd9fc 100644
--- a/tools/Makefile.in
+++ b/tools/Makefile.in
@@ -33,6 +33,7 @@ clean:
 
 install: proxy
 	@echo Install tools
+	$Q$(INSTALL_PROGRAM) -d $(prefix)/bin
 	$Q$(INSTALL_PROGRAM) proxy $(prefix)/bin
 
 veryclean: clean