--- ivman-0.6.14/ivman-launch.orig	2008-09-29 11:58:49.000000000 +0300
+++ ivman-0.6.14/ivman-launch	2008-09-29 12:02:17.000000000 +0300
@@ -1,11 +1,10 @@
-#!/bin/bash
+#!/bin/sh
 # This script was written by Daniele Favara <danjele@gmail.com>
 # 
 CMD=ivman
 CONFDIR=  # the config dir | null
 EXITWITH=
 SESSION=
-set -x
 while [ ! -z "$1" ];do
     case "$1" in
       --help|-h)
--- ivman-0.6.14/ivman-launch.orig	2008-09-29 11:58:49.000000000 +0300
+++ ivman-0.6.14/ivman-launch	2008-09-29 12:02:17.000000000 +0300
@@ -1,11 +1,10 @@
-#!/bin/bash
+#!/bin/sh
 # This script was written by Daniele Favara <danjele@gmail.com>
 # 
 CMD=ivman
 CONFDIR=  # the config dir | null
 EXITWITH=
 SESSION=
-set -x
 while [ ! -z "$1" ];do
     case "$1" in
       --help|-h)