diff --git a/repos/mml/run/hello_mxtask.run b/repos/mml/run/hello_mxtask.run
index 4f4469638d..9658730607 100644
--- a/repos/mml/run/hello_mxtask.run
+++ b/repos/mml/run/hello_mxtask.run
@@ -66,6 +66,8 @@ append config {
 install_config $config
 
 proc binary_name_gdbserver_platform_lib_so { } {
+	return "gdbserver_platform-$::env(KERNEL).lib.so"
+}
 
 set boot_modules { 
 	pc_uart_drv