Index: uspace/lib/c/generic/thread/fibril.c
===================================================================
--- uspace/lib/c/generic/thread/fibril.c	(revision 45c8eea59f6dced36c60fa4742c6087a34cd81bd)
+++ uspace/lib/c/generic/thread/fibril.c	(revision 705ca2bc3e43a3353d68e38f27197c4e17570898)
@@ -882,4 +882,10 @@
 }
 
+void __fibrils_fini(void)
+{
+	futex_destroy(&fibril_futex);
+	futex_destroy(&ipc_lists_futex);
+}
+
 void fibril_usleep(usec_t timeout)
 {
Index: uspace/lib/c/generic/thread/fibril_synch.c
===================================================================
--- uspace/lib/c/generic/thread/fibril_synch.c	(revision 45c8eea59f6dced36c60fa4742c6087a34cd81bd)
+++ uspace/lib/c/generic/thread/fibril_synch.c	(revision 705ca2bc3e43a3353d68e38f27197c4e17570898)
@@ -96,4 +96,9 @@
 	if (futex_initialize(&fibril_synch_futex, 1) != EOK)
 		abort();
+}
+
+void __fibril_synch_fini(void)
+{
+	futex_destroy(&fibril_synch_futex);
 }