# Generated by setup.sh -- bakes in this host's /tmp paths, not portable.
env.sh