Index: softint/Makefile
===================================================================
--- softint/Makefile	(revision b2951e26899149f05cd5c6af8e6dabc39f358fa4)
+++ softint/Makefile	(revision bd0203888b01ee58d0794135f74050a99b07cbbd)
@@ -50,10 +50,10 @@
 .PHONY: all clean depend
 
-all: softint.a
+all: libsoftint.a
 
 -include Makefile.depend
 
 clean:
-	-rm -f softint.a Makefile.depend
+	-rm -f libsoftint.a Makefile.depend
 	find generic/ -name '*.o' -follow -exec rm \{\} \;
 
@@ -61,6 +61,6 @@
 	-makedepend $(DEFS) $(CFLAGS) -f - $(GENERIC_SOURCES) > Makefile.depend 2> /dev/null
 
-softint.a: depend $(ARCH_OBJECTS) $(GENERIC_OBJECTS)
-	$(AR) rc softint.a $(ARCH_OBJECTS) $(GENERIC_OBJECTS)
+libsoftint.a: depend $(ARCH_OBJECTS) $(GENERIC_OBJECTS)
+	$(AR) rc libsoftint.a $(ARCH_OBJECTS) $(GENERIC_OBJECTS)
 
 %.o: %.S