Update setenv-linux32.sh