diff --git a/repos/gems/src/server/ssh_terminal/main.cc b/repos/gems/src/server/ssh_terminal/main.cc
index fcc58417a..c8faafd6e 100644
--- a/repos/gems/src/server/ssh_terminal/main.cc
+++ b/repos/gems/src/server/ssh_terminal/main.cc
@@ -1513,7 +1513,7 @@ class Terminal::Root_component : public Genode::Root_component<Session_component
 				});
 
 				try {
-					_server.attach_terminal(*s);
+					Libc::with_libc([&] () { _server.attach_terminal(*s); });
 					return s;
 				} catch (...) {
 					Genode::destroy(md_alloc(), s);