Allow alias names in envsetup.sh - here for minnowboard