Index: uspace/srv/loader/main.c
===================================================================
--- uspace/srv/loader/main.c	(revision 4a8d0dd1629a42ad3c6e78f6c3807e0c3a00b6b0)
+++ uspace/srv/loader/main.c	(revision e394c1962a6fec2218e561da2994f4070e2be503)
@@ -59,4 +59,5 @@
 #include <vfs/vfs.h>
 #include <vfs/inbox.h>
+#include <libc.h>
 
 #ifdef CONFIG_RTLD
@@ -357,4 +358,5 @@
 	DPRINTF("Jump to entry point at %p\n", pcb.entry);
 
+	__libc_fini();
 	__tcb_reset();
 	entry_point_jmp(prog_info.finfo.entry, &pcb);