Index: uspace/srv/devman/Makefile
===================================================================
--- uspace/srv/devman/Makefile	(revision 431d6d6a5bc501f28e40f42930d836850a1b2714)
+++ uspace/srv/devman/Makefile	(revision 65c3794fd7e56a1dd208b3e458ed818eeafbf8e0)
@@ -30,4 +30,5 @@
 USPACE_PREFIX = ../..
 BINARY = devman
+STATIC_NEEDED = y
 
 SOURCES = \
Index: uspace/srv/devman/devman.c
===================================================================
--- uspace/srv/devman/devman.c	(revision 431d6d6a5bc501f28e40f42930d836850a1b2714)
+++ uspace/srv/devman/devman.c	(revision 65c3794fd7e56a1dd208b3e458ed818eeafbf8e0)
@@ -39,4 +39,5 @@
 #include <devmap.h>
 #include <str_error.h>
+#include <stdio.h>
 
 #include "devman.h"