--- a/stx_libbasic.st	Wed Jul 01 14:08:54 2015 +0200
+++ b/stx_libbasic.st	Wed Jul 01 14:15:24 2015 +0200
@@ -1,3 +1,5 @@
+"{ Encoding: utf8 }"
+
 "
  COPYRIGHT (c) 2006 by eXept Software AG
 	      All Rights Reserved
@@ -135,10 +137,12 @@
 
 additionalDefinitions_make_dot_proto
     ^ '
-# for LINUX we need also librt.so, in order to resolve clock_gettime@GLIBC_2.2  (see linuxIntern.h)
-ifeq ("",$(findstring "-DLINUX","$(CFLAGS)"))
+# for LINUX-32bit we need also librt.so, in order to resolve clock_gettime@GLIBC_2.2  (see linuxIntern.h)
+ifneq ("",$(findstring "-DLINUX","$(CFLAGS)")) 
+ifeq ("",$(findstring "-m64","$(CFLAGS)"))
 LD_OBJ_LIBS=-lrt
 endif
+endif
 '
 !