Fixing setenv.sh template