fix a couple of envsetup.sh derps