Index: uspace/Makefile.common
===================================================================
--- uspace/Makefile.common	(revision 4fb794cf25be0f2828376721c586d849c3843c87)
+++ uspace/Makefile.common	(revision db71e2af5cdfe169de296e6f39b3e5eda7a966f6)
@@ -222,18 +222,19 @@
 endif
 
-## Setup platform configuration
-#
-
--include $(LIBC_PREFIX)/arch/$(UARCH)/Makefile.common
-
-## Compilation options
-#
-
-JOBFILE = $(LIBC_PREFIX)/../../../tools/jobfile.py
-
+# Prepare for POSIX before including platform specific stuff
 ifeq ($(POSIX_COMPAT),y)
 	CFLAGS = -I$(LIBPOSIX_PREFIX)/include/posix  -I$(LIBPOSIX_PREFIX)/include/
-	LIBS += $(LIBPOSIX_PREFIX)/libposix.a
-endif
+	BASE_LIBS = $(LIBPOSIX_PREFIX)/libposixaslibc.a $(LIBPOSIX_PREFIX)/libc4posix.a $(LIBSOFTINT_PREFIX)/libsoftint.a
+endif
+
+## Setup platform configuration
+#
+
+-include $(LIBC_PREFIX)/arch/$(UARCH)/Makefile.common
+
+## Compilation options
+#
+
+JOBFILE = $(LIBC_PREFIX)/../../../tools/jobfile.py
 
 ifeq ($(COMPILER),gcc_cross)