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