--- bin/iordump.orig	2013-09-30 17:50:30.000000000 +0200
+++ bin/iordump	2013-09-30 17:50:41.000000000 +0200
@@ -1,14 +1,4 @@
-#! /bin/sh
-# $Id: iordump,v 1.1 2008-11-14 02:12:35 Owner Exp $ \
-# \
-# the next line restarts using tclsh8.5 on unix \
-if type tclsh8.5 > /dev/null 2>&1 ; then exec tclsh8.5 "$0" ${1+"$@"} ; fi
-# the next line restarts using tclsh85 on Windows using Cygwin \
-if type tclsh85 > /dev/null 2>&1 ; then exec tclsh85 "`cygpath --windows $0`" ${1+"$@"} ; fi
-# the next line complains about a missing tclsh \
-echo "This software requires Tcl 8.5 to run." ; \
-echo "Make sure that \"tclsh8.5\" or \"tclsh85\" is in your \$PATH" ; \
-exit 1
+#!%%TCLSH%%
 
 #
 # ----------------------------------------------------------------------
