*** kawa-2.1.91/bin/kawa	2016-11-03 04:48:26.773976949 -0400
--- kawa-2.1.91/bin/kawa.orig	2016-11-02 15:02:26.000000000 -0400
***************
*** 5,15 ****
    /*) ;;
    *) thisfile="$PWD/$thisfile"  ;;
  esac
  while test -L "$thisfile"; do thisfile=$(readlink -f "$thisfile"); done
  thisdir=`dirname "$thisfile"`
! kawadir=`echo "$thisdir" | sed -e 's|/bin\(/.\)*$||'`
  if [ "$#" -eq 0 ]
  then
     command_line="$0"
  else
     command_line="$0 $*"
--- 5,15 ----
    /*) ;;
    *) thisfile="$PWD/$thisfile"  ;;
  esac
  while test -L "$thisfile"; do thisfile=$(readlink -f "$thisfile"); done
  thisdir=`dirname "$thisfile"`
! kawadir=`echo "$thisdir" | sed -e 's|/bin$||'`
  if [ "$#" -eq 0 ]
  then
     command_line="$0"
  else
     command_line="$0 $*"