diff --git a/hermit/tools/proxy.c b/hermit/tools/proxy.c
index 383ecc276..a4022812b 100644
--- a/hermit/tools/proxy.c
+++ b/hermit/tools/proxy.c
@@ -111,7 +111,7 @@ static int init_env(void)
 		exit(1);
 	}
 
-	fprintf(file, "%s", fname);
+	//fprintf(file, "%s", fname);
 
 	fclose(file);