diff --git a/repos/ports/run/vbox4_win7_32_multiple.run b/repos/ports/run/vbox4_win7_64_multiple.run
similarity index 100%
rename from repos/ports/run/vbox4_win7_32_multiple.run
rename to repos/ports/run/vbox4_win7_64_multiple.run
diff --git a/repos/ports/run/vbox_win.inc b/repos/ports/run/vbox_win.inc
index a4f96f4df..3ac25a6c4 100644
--- a/repos/ports/run/vbox_win.inc
+++ b/repos/ports/run/vbox_win.inc
@@ -329,7 +329,6 @@ if {$use_rumpfs} {
 	set wait_timeout 170
 	for { set i 1 } { $i <= $use_vms } { incr i } {
 		run_genode_until {\[init -\> vbox.*].*Guest Additions capability report:.*seamless: yes, hostWindowMapping: no, graphics: yes} $wait_timeout [output_spawn_id]
-		set wait_timeout 25
 	}
 } else {
 	run_genode_until {\[init\] child "vbox1" exited with exit value 0} 60 [output_spawn_id]
diff --git a/repos/ports/run/virtualbox_auto.inc b/repos/ports/run/virtualbox_auto.inc
index 2cb7b0977..26671f7bd 100644
--- a/repos/ports/run/virtualbox_auto.inc
+++ b/repos/ports/run/virtualbox_auto.inc
@@ -103,9 +103,9 @@ append_if [expr $use_rumpfs] config {
 		<config ld_verbose="yes" fs="ext2fs">}
 
 append_if [expr $use_rumpfs && $use_ram_fs && $use_overlay_from_disk] config {
-			<policy label_prefix="overlay_from_disk" root="/ram" writeable="yes"/>}
+			<policy label_prefix="overlay_from_disk" root="/ram" writeable="no"/>}
 append_if [expr $use_rumpfs] config {
-			<default-policy root="/" writeable="yes"/>
+			<default-policy root="/" writeable="no"/>
 		</config>
 		<route>
 			<any-service><child name="part_blk"/> <parent/><any-child/></any-service>