--- a/stx_libbasic.st	Wed Jul 01 06:24:17 2015 +0100
+++ b/stx_libbasic.st	Sat Jul 04 11:52:42 2015 +0100
@@ -135,6 +135,17 @@
 '
 !
 
+additionalDefinitions_make_dot_proto
+    ^ '
+# for LINUX-32bit we need also librt.so, in order to resolve clock_gettime@GLIBC_2.2  (see linuxIntern.h)
+ifneq (,$(findstring LINUX,$(CFLAGS))) 
+ifeq (,$(findstring -m64,$(CFLAGS)))
+LOCAL_SHARED_LIBS=-L/usr/lib -lrt
+endif
+endif
+'
+!
+
 localIncludes
     ^ '-I$(TOP)/librun $(FFI_INCLUDE)'