diff -u scripts.orig/xeno-info scripts/xeno-info
--- scripts.orig/xeno-info	2007-12-09 11:46:37.000000000 +0100
+++ scripts/xeno-info	2008-03-22 16:50:19.000000000 +0100
@@ -1,4 +1,4 @@
-#! /bin/sh
+#! /bin/bash
 #
 # This file has been lifted 'as is' from linux/scripts/ver_linux.
 # Adapted to be run also under the BusyBox. If you want to test it under the BusyBox use
diff -u scripts.orig/xeno-load.in scripts/xeno-load.in
--- scripts.orig/xeno-load.in	2007-12-09 11:46:37.000000000 +0100
+++ scripts/xeno-load.in	2008-03-22 16:50:57.000000000 +0100
@@ -1,4 +1,4 @@
-#! /bin/sh
+#! /bin/bash
 # Xenomai application loader script.
 # (Processes the .runinfo files)
 # June 2004, <rpm@xenomai.org>
diff -u scripts.orig/xeno-test.in scripts/xeno-test.in
--- scripts.orig/xeno-test.in	2008-02-20 18:18:46.000000000 +0100
+++ scripts/xeno-test.in	2008-03-22 16:50:32.000000000 +0100
@@ -1,4 +1,4 @@
-#! /bin/sh
+#! /bin/bash
 
 # Adapted to be run also under the BusyBox. 
 # If you want to test it this way, do: sh xeno-test