diff --git a/repos/libports/run/ieee754.run b/repos/libports/run/ieee754.run
index 4ccb0dad96..3c52674fde 100644
--- a/repos/libports/run/ieee754.run
+++ b/repos/libports/run/ieee754.run
@@ -7,7 +7,7 @@ if {[have_board rpi]} {
 	exit 0
 }
 
-build { core init lib/ld test/ieee754 lib/posix lib/libc lib/vfs }
+build { core init lib/ld test/ieee754 lib/posix lib/libc lib/libm lib/vfs }
 create_boot_directory
 
 install_config {
diff --git a/repos/libports/run/smartcard.run b/repos/libports/run/smartcard.run
index b6a9ae3cc4..5bf6380109 100644
--- a/repos/libports/run/smartcard.run
+++ b/repos/libports/run/smartcard.run
@@ -27,7 +27,10 @@ import_from_depot [depot_user]/src/[base_src] \
                   [depot_user]/pkg/test_usb_host_drv-[board] \
                   [depot_user]/src/report_rom \
                   [depot_user]/src/init
-build { test/smartcard lib/vfs_libusb lib/vfs_pipe }
+build {
+	lib/libc lib/libm lib/vfs lib/posix lib/libusb lib/vfs_libusb lib/vfs_pipe
+	test/smartcard
+}
 
 install_config {
 <config>
@@ -109,7 +112,7 @@ set fd [open [run_dir]/genode/usb_host_drv.config w]
 puts $fd $usb_config
 close $fd
 
-build_boot_image "[build_artifacts] Info.plist"
+build_boot_image [list {*}[build_artifacts] Info.plist]
 
 run_genode_until { Response: 62 0A 82 01 38 83 02 3F 00 8A 01 05 90 00} 30
 
diff --git a/repos/os/run/log_core.run b/repos/os/run/log_core.run
index 08164a2189..c690721b55 100644
--- a/repos/os/run/log_core.run
+++ b/repos/os/run/log_core.run
@@ -17,7 +17,7 @@ if {[have_spec nova]} {
 }
 
 build {
-	core init timer lib/ld
+	core init timer lib/ld lib/libc lib/vfs
 	server/file_terminal server/terminal_log app/log_core
 }
 
diff --git a/repos/os/run/monitor.run b/repos/os/run/monitor.run
index 55bf8fffc3..c53186fe35 100644
--- a/repos/os/run/monitor.run
+++ b/repos/os/run/monitor.run
@@ -10,7 +10,10 @@ if {![platform_supported]} {
 	exit 0
 }
 
-build { core lib/ld init timer monitor test/monitor server/terminal_crosslink }
+build {
+	core lib/ld init timer monitor lib/sandbox
+	test/monitor server/terminal_crosslink
+}
 
 create_boot_directory
 
diff --git a/repos/os/run/monitor_gdb.inc b/repos/os/run/monitor_gdb.inc
index 900021bca6..40e4ae1f1a 100644
--- a/repos/os/run/monitor_gdb.inc
+++ b/repos/os/run/monitor_gdb.inc
@@ -33,7 +33,7 @@ if {[have_include power_on/qemu]} {
                       [depot_user]/src/vfs_lwip \
                       [depot_user]/src/vfs_pipe
 
-	append build_components { server/tcp_terminal }
+	append build_components { server/tcp_terminal lib/libc lib/libm }
 }
 
 build $build_components