Update setenv-linux32.py