--- a/src/mk	2010-05-02 01:15:42.000000000 +0200
+++ b/src/mk	2018-01-27 17:07:23.539092748 +0100
@@ -5,14 +5,14 @@
 rm -f *.o muscle.make.stdout.txt muscle.make.stderr.txt
 for CPPName in $CPPNames
 do
-  echo $CPPName >> /dev/tty
+  echo $CPPName
   g++ $ENV_GCC_OPTS -c -O3 -msse2 -mfpmath=sse -D_FILE_OFFSET_BITS=64 -DNDEBUG=1 $CPPName.cpp -o $CPPName.o  >> muscle.make.stdout.txt 2>> muscle.make.stderr.txt
 done
 
 LINK_OPTS=
-if [ `uname -s` == Linux ] ; then
-    LINK_OPTS=-static
-fi
+#if [ `uname -s` == Linux ] ; then
+#    LINK_OPTS=-static
+#fi
 g++ $LINK_OPTS $ENV_LINK_OPTS -g -o muscle $ObjNames  >> muscle.make.stdout.txt 2>> muscle.make.stderr.txt
 tail muscle.make.stderr.txt