Fixes the setenv.sh file ...

Signed-off-by: Markus Hubig <mhubig@gmail.com>