Remove installation related stuff from envsetup.sh.
sudo access is not guaranteed, so why bother?