--- a/stx_libbasic.st	Thu Apr 28 06:55:15 2016 +0200
+++ b/stx_libbasic.st	Tue May 03 11:13:43 2016 +0200
@@ -137,10 +137,9 @@
 additionalDefinitions_make_dot_proto
     ^ '
 # for LINUX-32bit we need also librt.so, in order to resolve clock_gettime@GLIBC_2.2  (see linuxIntern.h)
+# for LINUX-64bit we need also librt.so, in order to resolve clock_gettime@GLIBC_2.2.5  (see linuxIntern.h)
 ifneq (,$(findstring LINUX,$(CFLAGS))) 
-ifeq (,$(findstring -m64,$(CFLAGS)))
-LOCAL_SHARED_LIBS=-L/usr/lib -lrt
-endif
+LOCAL_SHARED_LIBS=-lrt
 endif
 '
 !