Fix one more thing in envsetup.sh