diff -up asl-142-Bld82/install.sh.install asl-142-Bld82/install.sh
--- asl-142-Bld82/install.sh.install	2012-01-14 06:24:21.000000000 -0800
+++ asl-142-Bld82/install.sh	2012-01-21 22:29:48.614330602 -0800
@@ -31,7 +31,6 @@ if [ "${BINPATH}" != "" ]; then
  chmod 755 ${BINPATH}
  for i in asl plist alink pbind p2hex p2bin; do
   echo ${BINPATH}/$i
-  strip $i
   cp $i ${BINPATH}
   chmod 755 ${BINPATH}/$i
  done
@@ -74,7 +73,7 @@ if [ "${DOCPATH}" != "" ]; then
  for i in DE EN; do
   if [ -f doc_$i/as.html ]; then
     echo ${DOCPATH}/as-$i.doc
-    cp doc_$i/as.doc ${DOCPATH}/as-$i.doc
+    cp doc_$i/as.doc ${DOCPATH}/as-$i.txt
   fi
   echo ${DOCPATH}/as-$i.tex
   cp doc_$i/as.tex ${DOCPATH}/as-$i.tex