envsetup.sh : fix it