diff --git a/Makefile.unix b/Makefile.unix
index 75aa2007fa7cbdc1e9a7213bfbb94075c0c7d160..318e7f71501c59dfb20dd86401a69e1f694493f1 100644
--- a/Makefile.unix
+++ b/Makefile.unix
@@ -227,7 +227,8 @@ USERLIBS  += lib/libuarch$(LIBEXT)
 else
 NUTTXLIBS += lib/libc$(LIBEXT) lib/libmm$(LIBEXT) lib/libarch$(LIBEXT)
 ifeq ($(CONFIG_LIB_SYSCALL),y)
-NUTTXLIBS += lib/libstubs$(LIBEXT) lib/libproxies$(LIBEXT)
+NUTTXLIBS += lib/libstubs$(LIBEXT)
+USERLIBS  += lib/libproxies$(LIBEXT)
 endif
 endif
 
diff --git a/Makefile.win b/Makefile.win
index 44c48e764f1c7b24223aea5a303fa75a0f46e8f7..d1367230b933d35a27acb5a8f1a031e39b269bbd 100644
--- a/Makefile.win
+++ b/Makefile.win
@@ -220,7 +220,8 @@ USERLIBS  += lib\libuarch$(LIBEXT)
 else
 NUTTXLIBS += lib\libc$(LIBEXT) lib\libmm$(LIBEXT) lib\libarch$(LIBEXT)
 ifeq ($(CONFIG_LIB_SYSCALL),y)
-NUTTXLIBS += lib/libstubs$(LIBEXT) lib/libproxies$(LIBEXT)
+NUTTXLIBS += lib/libstubs$(LIBEXT)
+USERLIBS  += lib/libproxies$(LIBEXT)
 endif
 endif