diff --git a/repos/libports/lib/symbols/libc b/repos/libports/lib/symbols/libc
index ed63643cc..1bd3de1c1 100644
--- a/repos/libports/lib/symbols/libc
+++ b/repos/libports/lib/symbols/libc
@@ -922,7 +922,8 @@ _ZN4Libc19Select_handler_baseC1Ev T
 _ZN4Libc19Select_handler_baseC2Ev T
 _ZN4Libc19Select_handler_baseD1Ev T
 _ZN4Libc19Select_handler_baseD2Ev T
-
+_ZN4Libc10resume_allEv T
+_ZN4Libc7suspendERNS_15Suspend_functorEm T
 
 #
 # Libc plugin interface
diff --git a/repos/libports/recipes/api/libc/content.mk b/repos/libports/recipes/api/libc/content.mk
index cedfa174e..487eb54b0 100644
--- a/repos/libports/recipes/api/libc/content.mk
+++ b/repos/libports/recipes/api/libc/content.mk
@@ -18,6 +18,7 @@ include:
 	cp -r $(PORT_DIR)/include/* $@/
 	cp -r $(REP_DIR)/include/libc $@/
 	cp -r $(REP_DIR)/include/libc-genode $@/
+	cp    $(REP_DIR)/src/lib/libc/task.h $@/libc/
 
 content: LICENSE