diff --git a/repos/ports/run/vbox5_genode_usb_hid_raw.run b/repos/ports/run/vbox5_genode_usb_hid_raw.run
index 9a4dcaae5e..aeed73f926 100644
--- a/repos/ports/run/vbox5_genode_usb_hid_raw.run
+++ b/repos/ports/run/vbox5_genode_usb_hid_raw.run
@@ -243,6 +243,8 @@ exec -ignorestderr \
      --specs "$specs" \
      --board "$board_var" \
      --repositories "$repositories" \
+     --depot-dir [depot_dir] \
+     --depot-user [depot_user] \
      --cross-dev-prefix "[cross_dev_prefix]" \
      --include boot_dir/nova \
      --include image/iso \