Update envsetup.py