--- ./util/geniso.orig	2010-06-29 21:31:33.000000000 +0200
+++ ./util/geniso	2010-08-07 17:45:13.000000000 +0200
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/bin/sh
 #
 # Generate a isolinux ISO boot image
 #
@@ -50,7 +50,7 @@
 	fi
 	b=$(basename $f)
 	g=${b%.lkrn}
-	g=${g//[^a-z0-9]}.krn
+	g=$(echo $g | sed -e 's/[^a-z0-9]//g').krn
 	case "$first" in
 	"")
 		echo DEFAULT $g