Index: uspace/lib/softint/Makefile
===================================================================
--- uspace/lib/softint/Makefile	(revision cf240cbc0d420fb62b7b3b5c41946295fe7ff11a)
+++ uspace/lib/softint/Makefile	(revision 5814ef7188cf75fcd57922f03a3bde3d4c78975f)
@@ -29,8 +29,6 @@
 
 USPACE_PREFIX = ../..
-LIBS = $(LIBC_PREFIX)/libc.a
 EXTRA_CFLAGS = -Iinclude
-
-OUTPUT = libsoftint.a
+LIBRARY = libsoftint
 
 SOURCES = \
@@ -38,3 +36,3 @@
 	generic/multiplication.c
 
-include ../Makefile.common
+include $(USPACE_PREFIX)/Makefile.common