--- configure.orig	2008-07-10 15:20:48.000000000 +0200
+++ configure	2008-07-15 21:34:07.000000000 +0200
@@ -38,7 +38,8 @@
 }
 
 while [[ "$1" = -* ]]; do
-    opt="$1"; shift
+    optorig="$1"; shift
+    opt=$opt
     arg=
     if [[ "$opt" = *=* ]]; then
 	arg="${opt#*=}"
@@ -70,7 +71,7 @@
 	    usage
 	    ;;
 	*)
-	    qemu_opts="$qemu_opts $opt"
+	    qemu_opts="$qemu_opts $optorig"
 	    ;;
     esac
 done