[IPT] Problem with setenv.sh