diff --git a/run/tox_dht_bootstrap.run b/run/tox_dht_bootstrap.run
index f9cccdb..1acdf7b 100644
--- a/run/tox_dht_bootstrap.run
+++ b/run/tox_dht_bootstrap.run
@@ -13,8 +13,6 @@ set build_components {
 	app/tox_dht_bootstrap
 	drivers/nic
 	lib/vfs/import
-	lib/vfs/lwip
-	server/report_rom
 }
 
 proc gpio_drv { } { if {[have_spec rpi] && [have_spec hw]}  { return hw_gpio_drv }
@@ -34,8 +32,10 @@ build $build_components
 create_boot_directory
 
 import_from_depot \
-	genodelabs/src/[base_src] \
-	genodelabs/src/init \
+	[depot_user]/src/[base_src] \
+	[depot_user]/src/init \
+	[depot_user]/src/vfs_lwip \
+	[depot_user]/src/report_rom \
 
 append config {
 <config>
@@ -119,12 +119,9 @@ set boot_modules {
 	libc.lib.so
 	libm.lib.so
 	libsodium.lib.so
-	posix.lib.so
 	c-toxcore.lib.so
 	tox_dht_bootstrap
 	vfs.lib.so
-	vfs_lwip.lib.so
-	report_rom
 }
 
 # platform-specific modules
diff --git a/src/lib/libsodium/genode_core.cc b/src/lib/libsodium/genode_core.cc
index a4bb0c7..3b458b8 100644
--- a/src/lib/libsodium/genode_core.cc
+++ b/src/lib/libsodium/genode_core.cc
@@ -11,6 +11,7 @@
 #include "private/mutex.h"
 
 #include <base/lock.h>
+#include <base/log.h>
 
 static int initialized;