anchor.diff:        echo "installing with sh..."
         sh "$2"
         ;;
  +    *)
  +      echo "Unknown filetype: $1"
  +      report_bug
  +      exit 1
  +      ;;
     esac
     if test $? -ne 0; then
       echo "Installation failed"
  
positive.code:   echo "Unable to determine platform version!"
    report_bug
    exit 1
  fi
  
  
  if test $use_shell = 1; then
    shell_filename
  else
    case $platform in
      "ubuntu") deb_filename ;;
      "debian") deb_filename ;;
      "el") rpm_filename ;;
      "suse") rpm_filename ;;
      "sles") rpm_filename ;;
      "fedora") rpm_filename ;;
      "solaris2") svr4_filename ;;
      "aix") aix_filename ;;
      *) shell_filename ;;
    esac
  fi
  
  if test "x$platform" = "xsolaris2"; then
  
negative.code:   fi
  fi
  
  filename=`echo $download_url | sed -e 's/^.*\///'`
  filetype=`echo $filename | sed -e 's/^.*\.//'`
  
  if test "x$cmdline_filename" = "x"; then
    download_filename="$tmp_dir/$filename"
  else
    download_filename="$cmdline_filename"
  fi
  
  do_download "$download_url"  "$download_filename"
  
  sha256=`awk '$1 == "sha256" { print $2 }' "$metadata_filename"`
  