diff --git a/hermit/tools/Makefile b/hermit/tools/Makefile
index 04e1371a4..e4ec4d55b 100644
--- a/hermit/tools/Makefile
+++ b/hermit/tools/Makefile
@@ -4,7 +4,6 @@ NASMFLAGS = -fbin
 CC = gcc
 CFLAGS = -O2 -Wall
 HEXDUMP = hexdump
-LDFLAGS = -lelf
 PROXYFILES = proxy init.sh $(shell find ../usr/tests ../usr/benchmarks ../usr/openmpbench -type f -executable)
 
 # Prettify output
@@ -21,6 +20,10 @@ endif
 
 all: init.h proxy
 
+proxy: proxy.o
+	@echo [LD] $@
+	$Q$(CC) $(CFLAGS) -o $@ $< -lelf
+
 init.bin: init.asm
 	@echo [NASM] $@
 	$Q$(NASM) $(NASMFLAGS) -o $@ $<