diff --git a/tool/run/boot_dir/nova b/tool/run/boot_dir/nova
index 9a47b3d16c..5be441699e 100644
--- a/tool/run/boot_dir/nova
+++ b/tool/run/boot_dir/nova
@@ -64,7 +64,7 @@ proc run_boot_dir {binaries} {
 		puts $fh " module /genode/config"
 		foreach binary $binaries {
 			if {$binary != "core"} {
-				puts $fh " module /genode/$binary" } }
+				puts $fh " modulenounzip /genode/$binary" } }
 		close $fh
 	}