diff --git a/repos/ports/run/microcode.run b/repos/ports/run/microcode.run
index b52b1f7a07..a3d04c7dba 100644
--- a/repos/ports/run/microcode.run
+++ b/repos/ports/run/microcode.run
@@ -1,7 +1,6 @@
 assert_spec x86
 
-set ::env(MAKEFLAGS) s
-set path_microcode "[exec [genode_dir]/tool/ports/current microcode_intel]/src/app/intel/intel-ucode"
+set path_microcode "[exec [genode_dir]/tool/ports/current --no-print-directory microcode_intel]/src/app/intel/intel-ucode"
 set microcode_files [glob -nocomplain -dir $path_microcode *-*-*]
 
 if { [get_cmd_switch --autopilot] } {