diff --git a/ports/run/seoul-auto.run b/ports/run/seoul-auto.run
index 76c7682ca0..708d387ce2 100644
--- a/ports/run/seoul-auto.run
+++ b/ports/run/seoul-auto.run
@@ -55,4 +55,8 @@ append qemu_args " -nographic "
 
 run_genode_until {\[init -\> vancouver\] VMM: #   Hello Genode world!} 300
 
+foreach binary $guest_os_binaries {
+	exec rm -f bin/$binary
+}
+
 puts "Test succeeded"
diff --git a/ports/run/seoul.inc b/ports/run/seoul.inc
index 6594c57726..27002c5696 100644
--- a/ports/run/seoul.inc
+++ b/ports/run/seoul.inc
@@ -398,3 +398,6 @@ if {$use_usb} {
 }
 
 build_boot_image $boot_modules
+
+# A copy of the config is placed in the run folder.
+exec rm -f bin/vm_linux.cfg