diff --git a/tools/Makefile.in b/tools/Makefile.in
index 577e8850c..6974e9b63 100644
--- a/tools/Makefile.in
+++ b/tools/Makefile.in
@@ -31,7 +31,7 @@ clean:
 	@echo Cleaning tools
 	$Q$(RM) -rf *.o *~ *.bin *.obj
 
-install:
+install: proxy
 	@echo Install tools
 	$Q$(INSTALL_PROGRAM) proxy $(prefix)/bin