Index: uspace/app/vlaunch/Makefile
===================================================================
--- uspace/app/vlaunch/Makefile	(revision 6d5e378b28e2c858f3813b5d4d57fa46f709d753)
+++ uspace/app/vlaunch/Makefile	(revision 7d27f422ee7822eb3b75e43fd8ced187eb45d3f3)
@@ -29,5 +29,5 @@
 USPACE_PREFIX = ../..
 LIBS = $(LIBGUI_PREFIX)/libgui.a $(LIBDRAW_PREFIX)/libdraw.a \
-	$(LIBSOFTREND_PREFIX)/libsoftrend.a
+	$(LIBSOFTREND_PREFIX)/libsoftrend.a $(LIBSOFTFLOAT_PREFIX)/libsoftfloat.a
 EXTRA_CFLAGS += -I$(LIBGUI_PREFIX) -I$(LIBDRAW_PREFIX) \
 	-I$(LIBSOFTREND_PREFIX)