diff --git a/hermit/tools/Makefile b/hermit/tools/Makefile
index f6d9d7fb6..8fb5bc2ef 100644
--- a/hermit/tools/Makefile
+++ b/hermit/tools/Makefile
@@ -19,7 +19,7 @@ all: proxy
 
 proxy: proxy.o
 	@echo [LD] $@
-	$Q$(CC) $(CFLAGS) -o $@ $< -lelf
+	$Q$(CC) $(CFLAGS) -o $@ $<
 
 clean:
 	@echo Cleaning tools