Update installation/scripts-mac/setenv-mac.py