diff --git a/repos/ports/run/seoul-genode.run b/repos/ports/run/seoul-genode.run
index 1d4c28f611..6450c22b3f 100644
--- a/repos/ports/run/seoul-genode.run
+++ b/repos/ports/run/seoul-genode.run
@@ -45,7 +45,7 @@ if {[catch {exec cp $genode_iso bin/genode.iso}]} {
 	exit 1
 }
 
-set files_vm [exec isoinfo -i $genode_iso -x "/BOOT/GRUB/MENU.LST;1"]
+set files_vm [exec isoinfo -i $genode_iso -x "/boot/grub/grub.cfg;1"]
 
 set vm [split $files_vm "\n"]
 set guest_os_binaries {}
diff --git a/repos/ports/run/seoul.inc b/repos/ports/run/seoul.inc
index 13184aa8a9..1f7fbf8a22 100644
--- a/repos/ports/run/seoul.inc
+++ b/repos/ports/run/seoul.inc
@@ -264,10 +264,10 @@ append_if [expr $use_nic_session && !$use_nic_bridge] config {
 append_if $use_framebuffer config {
 			<service name="Framebuffer"><child name="fb_drv"/></service>}
 append_if $use_genode_iso config {
-			<service name="ROM" label="vm_seoul.cfg">
-				<parent/> </service>
-			<service name="ROM" label="platform_info">
-				<parent/> </service>
+			<service name="ROM" label="vm_seoul.cfg"> <parent/> </service>
+			<service name="ROM" label="platform_info"> <parent/> </service>
+			<service name="ROM" unscoped_label="seoul"> <parent/> </service>
+			<service name="ROM" unscoped_label="ld.lib.so"> <parent/> </service>
 			<service name="ROM"><child name="iso9660"/></service>}
 append config {
 			<service name="Rtc"><child name="rtc_drv"/></service>