Index: boot/Makefile.common
===================================================================
--- boot/Makefile.common	(revision 32d96e1cd86f98d2d5d5a97f1dbf864765de311d)
+++ boot/Makefile.common	(revision a33706e404ea2be7e77e6260726d276e79b390f8)
@@ -112,6 +112,5 @@
 	$(USPACE_PATH)/srv/net/udp/udp \
 	$(USPACE_PATH)/srv/taskmon/taskmon \
-	$(USPACE_PATH)/srv/devman/devman \
-	$(USPACE_PATH)/srv/websrv/websrv
+	$(USPACE_PATH)/srv/devman/devman
 
 RD_DRVS = \
@@ -185,5 +184,6 @@
 	$(USPACE_PATH)/app/usbinfo/usbinfo \
 	$(USPACE_PATH)/app/vuhid/vuh \
-	$(USPACE_PATH)/app/mkbd/mkbd
+	$(USPACE_PATH)/app/mkbd/mkbd \
+	$(USPACE_PATH)/app/websrv/websrv
 
 ifeq ($(CONFIG_PCC),y)