diff --git a/tool/run/run b/tool/run/run
index 3be0f84e6..3f0c43dd7 100755
--- a/tool/run/run
+++ b/tool/run/run
@@ -108,9 +108,9 @@ proc check_xml_syntax {xml_file} {
 ##
 # Install content of specfied variable as init config file
 #
-proc install_config {config} {
+proc install_config { args } {
 	set fh [open "[run_dir]/genode/config" "WRONLY CREAT TRUNC"]
-	puts $fh $config
+	puts $fh [join $args {}]
 	close $fh
 
 	check_xml_syntax [run_dir]/genode/config