Migrating toward a common setenv.sh