Update installation/scripts-linux/setenv-linux32.py