diff --git a/ivette/ivette-bootstrap.sh b/ivette/ivette-bootstrap.sh
index 7581951228e95dfda4f13d9cd408a962c6962af2..b72d469906f4ee133f3eafad82d83d0946a2844c 100755
--- a/ivette/ivette-bootstrap.sh
+++ b/ivette/ivette-bootstrap.sh
@@ -26,7 +26,7 @@
 # --------------------------------------------------------------------------
 
 echo "Building Ivette"
-PWD=`pwd`
+USERCWD=`pwd`
 
 # --------------------------------------------------------------------------
 
@@ -110,16 +110,13 @@ then
     rm -fr $TMPDIR
     exit 3
 fi
-cd $PWD
+cd $USERCWD
 rm -fr $TMPDIR
 rm -f $PREFIX/lib/frama-c/ivette.tgz
 
 # --------------------------------------------------------------------------
 echo "Launching Ivette..."
 # --------------------------------------------------------------------------
-echo "Temp dir: $TMPDIR"
-echo "PREFIX dir: $PREFIX"
-echo "Current dir: $PWD"
 exec $PREFIX/bin/ivette $*
 
 # --------------------------------------------------------------------------