Update setenv-linux64.py