--- ./lib/Tools/print.orig	Sun Sep  2 15:11:55 2007
+++ ./lib/Tools/print	Sun Sep  2 15:49:21 2007
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/bin/sh
 #
 # $Id: print,v 1.2 2004/06/29 09:21:18 kleing Exp $
 # Author: Markus Wenzel, TU Muenchen
@@ -8,7 +8,7 @@
 
 PRG="$(basename "$0")"
 
-function usage()
+usage()
 {
   echo
   echo "Usage: $PRG [OPTIONS] FILE"
@@ -21,7 +21,7 @@
   exit 1
 }
 
-function fail()
+fail()
 {
   echo "$1" >&2
   exit 2